computing implied bounds with opaque types causes an ICE. It should not :3 ```rust fn foo<'a>() -> &'a impl Sized { &() } ```