{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
        // We do not eagerly replace aliases with inference variables if they have
    ) -> Result<Ty<'tcx>, TypeError<'tcx>> {
        // escaping bound vars, see the method comment for details. However, when we