mirror of https://github.com/rust-lang/rust
22 lines
337 B
Rust
22 lines
337 B
Rust
trait Marker {}
|
|
impl<T> Marker for T {}
|
|
|
|
fn maybe<T>(
|
|
_t: T,
|
|
) -> Option<
|
|
//removing the line below makes it compile
|
|
&'static T,
|
|
> {
|
|
None
|
|
}
|
|
|
|
fn _g<T>(t: &'static T) -> &'static impl Marker {
|
|
//~^ ERROR cannot resolve opaque type
|
|
if let Some(t) = maybe(t) {
|
|
return _g(t);
|
|
}
|
|
todo!()
|
|
}
|
|
|
|
fn main() {}
|