{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"|ecx:"}]}
            |ecx: &mut EvalCtxt<'_, D>,
        let projection_may_match =
             source_projection: ty::Binder<I, ty::ExistentialProjection<I>>,