Sign in
fuchsia
/
third_party
/
github.com
/
rust-lang
/
rust
/
7c547894c76efe9303caa3108754674c39bd901d
/
.
/
tests
/
ui
/
wf
/
wf-trait-bound.rs
blob: 62a1eb5b08864988306144a6ac908c0efdc0c77b [
file
] [
log
] [
blame
]
// Test that we check supertrait bounds for WFedness.
#![
feature
(
associated_type_defaults
)]
#![
allow
(
dead_code
)]
trait
ExtraCopy
<
T
:
Copy
>
{
}
trait
SomeTrait
<
T
,
U
>
where T
:
ExtraCopy
<
U
>
//~ ERROR E0277
{
}
fn
main
()
{
}