Sign in
fuchsia
/
third_party
/
github.com
/
rust-lang
/
rust
/
75f57670b03a33dd165685fe1f252969ef5c16ea
/
.
/
tests
/
ui
/
traits
/
next-solver
/
overflow
/
exponential-trait-goals.rs
blob: 052d803765d3c56ceca1cec0c054a8adace16355 [
file
] [
log
] [
blame
]
//@ compile-flags: -Znext-solver
trait
Trait
{}
struct
W
<
T
>(
T
);
impl
<
T
,
U
>
Trait
for
W
<(
W
<
T
>,
W
<
U
>)>
where
W
<
T
>:
Trait
,
W
<
U
>:
Trait
,
{
}
fn
impls
<
T
:
Trait
>()
{}
fn
main
()
{
impls
::<
W
<
_
>>();
//~^ ERROR overflow evaluating the requirement `_: Sized`
}