Sign in
fuchsia
/
third_party
/
rust
/
b55d8a3b4917698fd6d389f05afc423086f33d97
/
.
/
tests
/
ui
/
never_type
/
impl_trait_fallback3.rs
blob: ed645b82394a0393f9ab0a7aec06629eccfaf8bb [
file
] [
log
] [
blame
]
#![
feature
(
type_alias_impl_trait
)]
fn
main
()
{}
trait
T
{
type
Assoc
;
}
type
Foo
=
impl
T
;
fn
a
()
->
Foo
{
//~^ ERROR the trait bound `(): T` is not satisfied
// This is not a defining use, it doesn't actually constrain the opaque type.
panic
!()
}