tests/ui/type-alias-impl-trait/issue-53092-2.rs

   1 #![feature(type_alias_impl_trait)]
   2 #![allow(dead_code)]
   3
   4 type Bug<T, U> = impl Fn(T) -> U + Copy; //~ ERROR cycle detected
   5
   6 const CONST_BUG: Bug<u8, ()> = unsafe { std::mem::transmute(|_: u8| ()) };
   7
   8 fn make_bug<T, U: From<T>>() -> Bug<T, U> {
   9     |x| x.into() //~ ERROR the trait bound `U: From<T>` is not satisfied
  10 }
  11
  12 fn main() {
  13     CONST_BUG(0);
  14 }