mirror of https://github.com/rust-lang/rust
21 lines
411 B
Rust
21 lines
411 B
Rust
// Regression test for the ICE in #77179.
|
|
|
|
#![feature(type_alias_impl_trait)]
|
|
|
|
type Pointer<T> = impl std::ops::Deref<Target = T>;
|
|
|
|
fn test() -> Pointer<_> {
|
|
//~^ ERROR: the placeholder `_` is not allowed within types
|
|
Box::new(1)
|
|
//~^ ERROR: mismatched types
|
|
}
|
|
|
|
fn main() {
|
|
test();
|
|
}
|
|
|
|
extern "Rust" {
|
|
fn bar() -> Pointer<_>;
|
|
//~^ ERROR: the placeholder `_` is not allowed within types
|
|
}
|