{"ast_node_type":"struct","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
        // Construct a trait-reference `self_ty : Trait<input_tys>`
    ) -> Option<InferOk<'tcx, MethodCallee<'tcx>>> {
        let args = GenericArgs::for_item(self.tcx, trait_def_id, |param, _| match param.kind {