tests/ui/type-alias-impl-trait/infinite-cycle-involving-weak.rs

#![feature(type_alias_impl_trait)]

type T = impl Copy;
//~^ ERROR cannot resolve opaque type

static STATIC: T = None::<&'static T>;

fn main() {}