Sign in
fuchsia
/
third_party
/
rust
/
9ae1a664f7b947dadb9e97eea7703831d9cd5d31
/
.
/
src
/
test
/
ui
/
specialization
/
defaultimpl
/
specialization-wfcheck.rs
blob: 232338d9d4d99134e6c47ed2c846d62c98de40d2 [
file
] [
log
] [
blame
]
// Tests that a default impl still has to have a WF trait ref.
#![
feature
(
specialization
)]
trait
Foo
<
'a, T: Eq + '
a
>
{
}
default
impl
<
U
>
Foo
<
'
static
,
U
>
for
()
{}
//~^ ERROR the trait bound `U: std::cmp::Eq` is not satisfied
fn
main
(){}