type_of AnonConst AssocTy does not require parent

lcnr · lcnr · commit 6a7106cb328e · 2020-03-23T10:58:07.000+01:00
diff --git a/src/librustc_typeck/collect/type_of.rs b/src/librustc_typeck/collect/type_of.rs
@@ -259,7 +259,7 @@ pub(super) fn type_of(tcx: TyCtxt<'_>, def_id: DefId) -> Ty<'_> {
                         // default to the path resolution.
                         let res = segment.res.filter(|&r| r != Res::Err).unwrap_or(path.res);
                         let generics = match res {
-                            Res::Def(DefKind::Ctor(..) | DefKind::AssocTy, def_id) => {
+                            Res::Def(DefKind::Ctor(..), def_id) => {
                                 tcx.generics_of(tcx.parent(def_id).unwrap())
                             }
                             Res::Def(_, def_id) => tcx.generics_of(def_id),

Original file line number	Diff line number	Diff line change
`@@ -259,7 +259,7 @@ pub(super) fn type_of(tcx: TyCtxt<'_>, def_id: DefId) -> Ty<'_> {`
`259`	`259`	`// default to the path resolution.`
`260`	`260`	`let res = segment.res.filter(\|&r\| r != Res::Err).unwrap_or(path.res);`
`261`	`261`	`let generics = match res {`
`262`		`- Res::Def(DefKind::Ctor(..) \| DefKind::AssocTy, def_id) => {`
	`262`	`+ Res::Def(DefKind::Ctor(..), def_id) => {`
`263`	`263`	`tcx.generics_of(tcx.parent(def_id).unwrap())`
`264`	`264`	`}`
`265`	`265`	`Res::Def(_, def_id) => tcx.generics_of(def_id),`