mirror of https://github.com/rust-lang/rust
29 lines
612 B
Rust
29 lines
612 B
Rust
// cc #119820
|
|
|
|
trait Trait {}
|
|
|
|
impl<T: Trait> Trait for &T {}
|
|
impl Trait for u32 {}
|
|
|
|
fn hr_bound<T>()
|
|
where
|
|
for<'a> &'a T: Trait,
|
|
{
|
|
}
|
|
|
|
fn foo<T>()
|
|
where
|
|
T: Trait,
|
|
for<'a> &'a &'a T: Trait,
|
|
{
|
|
// We get a universe error when using the `param_env` candidate
|
|
// but are able to successfully use the impl candidate. Without
|
|
// the leak check both candidates may apply and we prefer the
|
|
// `param_env` candidate in winnowing.
|
|
hr_bound::<&T>();
|
|
//~^ ERROR the parameter type `T` may not live long enough
|
|
//~| ERROR implementation of `Trait` is not general enough
|
|
}
|
|
|
|
fn main() {}
|