src/test/ui/associated-types/issue-65934.rs

   1 // check-pass
   2
   3 trait Trait {
   4     type Assoc;
   5 }
   6
   7 impl Trait for () {
   8     type Assoc = ();
   9 }
  10
  11 fn unit() -> impl Into<<() as Trait>::Assoc> {}
  12
  13 pub fn ice() {
  14     Into::into(unit());
  15 }
  16
  17 fn main() {}