未验证 提交 af549368 编写于 作者: M Manish Goregaokar 提交者: GitHub

Rollup merge of #88348 - spastorino:field-types-tait-test, r=oli-obk

Add field types tait tests

r? ```@oli-obk```

Related to #86727
#![feature(type_alias_impl_trait)]
#![allow(dead_code)]
// FIXME This should compile, but it currently doesn't
use std::fmt::Debug;
type Foo = impl Debug;
//~^ ERROR: could not find defining uses
struct Bar {
foo: Foo,
}
fn bar() -> Bar {
Bar { foo: "foo" }
//~^ ERROR: mismatched types [E0308]
}
fn main() {}
error[E0308]: mismatched types
--> $DIR/field-types.rs:16:16
|
LL | type Foo = impl Debug;
| ---------- the expected opaque type
...
LL | Bar { foo: "foo" }
| ^^^^^ expected opaque type, found `&str`
|
= note: expected opaque type `impl Debug`
found reference `&'static str`
error: could not find defining uses
--> $DIR/field-types.rs:8:12
|
LL | type Foo = impl Debug;
| ^^^^^^^^^^
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0308`.
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册