Sign in
fuchsia
/
third_party
/
rust
/
ef5f929471c7b9769aac4d3e4aae5deeb7acaa3c
/
.
/
src
/
test
/
ui
/
wf
/
wf-fn-where-clause.rs
blob: 5fd567bd32d049d8d6feff2359ea37aafe699186 [
file
] [
log
] [
blame
]
// Test that we check where-clauses on fn items.
#![
allow
(
dead_code
)]
trait
ExtraCopy
<
T
:
Copy
>
{
}
fn
foo
<
T
,
U
>()
where T
:
ExtraCopy
<
U
>
//~ ERROR E0277
{
}
fn
bar
()
where
Vec
<
dyn
Copy
>:,
{}
//~^ ERROR E0277
//~| ERROR E0038
fn
main
()
{
}