{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<Ty<'tcx>, TypeError<'tcx>> {
        alias: ty::AliasTy<'tcx>,
        // We do not eagerly replace aliases with inference variables if they have