{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"self_ty:"}]}
    self_ty: I::Ty,
    param_env: I::ParamEnv,
    mapping: &'a HashMap<I::DefId, Vec<ty::Binder<I, ty::ProjectionPredicate<I>>>>,