squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Add test

Browse source
This commit is contained in:
varkor 2019-05-10 22:11:19 +01:00
parent 26afc4fb91
commit aa9369c7a4
2 changed files with 44 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/test/ui/existential-type/issue-60371.rs Normal file
View file

@ -0,0 +1,15 @@
trait Bug {
type Item: Bug;
const FUN: fn() -> Self::Item;
}
impl Bug for &() {
existential type Item: Bug; //~ ERROR existential types are unstable
//~^ ERROR the trait bound `(): Bug` is not satisfied
//~^^ ERROR could not find defining uses
const FUN: fn() -> Self::Item = || ();
}
fn main() {}

29
src/test/ui/existential-type/issue-60371.stderr Normal file
View file

@ -0,0 +1,29 @@
error[E0658]: existential types are unstable
--> $DIR/issue-60371.rs:8:5
|
LL | existential type Item: Bug;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: for more information, see https://github.com/rust-lang/rust/issues/34511
= help: add #![feature(existential_type)] to the crate attributes to enable
error[E0277]: the trait bound `(): Bug` is not satisfied
--> $DIR/issue-60371.rs:8:5
|
LL | existential type Item: Bug;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Bug` is not implemented for `()`
|
= help: the following implementations were found:
<&() as Bug>
= note: the return type of a function must have a statically known size
error: could not find defining uses
--> $DIR/issue-60371.rs:8:5
|
LL | existential type Item: Bug;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to 3 previous errors
Some errors have detailed explanations: E0277, E0658.
For more information about an error, try `rustc --explain E0277`.