Sign in
fuchsia
/
third_party
/
rust
/
cfcc5c296ed6fabcc8b9d380eaaea8a7352299fd
/
.
/
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
()
{}