Sign in
android
/
toolchain
/
rustc
/
bc2a45aebf2f3f158c878db02ee23d906d1269df
/
.
/
src
/
test
/
ui
/
traits
/
trait-alias
/
trait-alias-wf.rs
blob: d10e2abb0e1a39b40a6d3364572c7221a84ea5db [
file
] [
log
] [
blame
]
#![
feature
(
trait_alias
)]
trait
Foo
{}
trait
A
<
T
:
Foo
>
{}
trait
B
<
T
>
=
A
<
T
>;
//~ ERROR `T: Foo` is not satisfied
fn
main
()
{}