bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Catch more ICEs

Browse source
This commit is contained in:
Yuki Okushi 2020-02-02 09:02:54 +09:00
parent 9d8058fb42
commit ae22bf9d42
3 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/ui/type-alias-impl-trait/issue-63279.rs
View file

@ -1,3 +1,5 @@
// compile-flags: -Zsave-analysis
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
type Closure = impl FnOnce(); //~ ERROR: type mismatch resolving type Closure = impl FnOnce(); //~ ERROR: type mismatch resolving

4
src/test/ui/type-alias-impl-trait/issue-63279.stderr
View file

@ -1,5 +1,5 @@
error[E0271]: type mismatch resolving `<[closure@$DIR/issue-63279.rs:6:5: 6:28] as std::ops::FnOnce<()>>::Output == ()` error[E0271]: type mismatch resolving `<[closure@$DIR/issue-63279.rs:8:5: 8:28] as std::ops::FnOnce<()>>::Output == ()`
--> $DIR/issue-63279.rs:3:1 --> $DIR/issue-63279.rs:5:1
| |
LL | type Closure = impl FnOnce(); LL | type Closure = impl FnOnce();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected opaque type, found `()` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected opaque type, found `()`

1
src/test/ui/type-alias-impl-trait/issue-65679-inst-opaque-ty-from-val-twice.rs
View file

@ -1,3 +1,4 @@
// compile-flags: -Zsave-analysis
// check-pass // check-pass
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]