Sign in
android
/
toolchain
/
rustc
/
ff3f07ae99a30006dd85b9d73084edd9355c9db6
/
.
/
src
/
test
/
ui
/
wf
/
wf-in-fn-where-clause.rs
blob: 65a1771d41a4877cfeeca4c7b6e8ba2a95244f67 [
file
] [
log
] [
blame
]
// Check that we enforce WF conditions also for where clauses in fn items.
#![
allow
(
dead_code
)]
trait
MustBeCopy
<
T
:
Copy
>
{
}
fn
bar
<
T
,
U
>()
//~ ERROR E0277
where T
:
MustBeCopy
<
U
>
{
}
fn
main
()
{
}