tests/ui/generic-associated-types/issue-93340.rs

   1 // check-pass
   2
   3 pub trait Scalar: 'static {
   4     type RefType<'a>: ScalarRef<'a>;
   5 }
   6
   7 pub trait ScalarRef<'a>: 'a {}
   8
   9 fn cmp_eq<'a, 'b, A: Scalar, B: Scalar, O: Scalar>(a: A::RefType<'a>, b: B::RefType<'b>) -> O {
  10     todo!()
  11 }
  12
  13 fn build_expression<A: Scalar, B: Scalar, O: Scalar>(
  14 ) -> impl Fn(A::RefType<'_>, B::RefType<'_>) -> O {
  15     cmp_eq
  16 }
  17
  18 fn main() {}