Sign in
fuchsia
/
third_party
/
rust
/
7bade6ef730cff83f3591479a98916920f66decd
/
.
/
src
/
test
/
ui
/
associated-type-bounds
/
assoc-type-bound-through-where-clause.rs
blob: 49f11140741c2e45da3fbaa410b5e9c7b0f330bd [
file
] [
log
] [
blame
]
// Check that `where Self::Output: Copy` is turned into a bound on `Op::Output`.
//check-pass
trait
Op
where
Self
::
Output
:
Copy
,
{
type
Output
;
}
fn
duplicate
<
T
:
Op
>(
x
:
T
::
Output
)
->
(
T
::
Output
,
T
::
Output
)
{
(
x
,
x
)
}
fn
main
()
{}