Rename ty::TyKind to ty::TyData, Ty::kind to Ty::data#77768
Closed
vandenheuvel wants to merge 1 commit into
Closed
Rename ty::TyKind to ty::TyData, Ty::kind to Ty::data#77768vandenheuvel wants to merge 1 commit into
vandenheuvel wants to merge 1 commit into