Sign in
fuchsia
/
third_party
/
rust
/
ef5f929471c7b9769aac4d3e4aae5deeb7acaa3c
/
.
/
src
/
test
/
ui
/
wf
/
wf-trait-superbound.rs
blob: 8905a882014f076866cf2be543f73849af12b0d6 [
file
] [
log
] [
blame
]
// Test that we check supertrait bounds for WFedness.
#![
feature
(
associated_type_defaults
)]
#![
feature
(
rustc_attrs
)]
#![
allow
(
dead_code
)]
trait
ExtraCopy
<
T
:
Copy
>
{
}
trait
SomeTrait
<
T
>:
ExtraCopy
<
T
>
{
//~ ERROR E0277
}
fn
main
()
{
}