about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/resolve.rs
AgeCommit message (Expand)AuthorLines
2022-11-26Do not record unresolved const vars in generator interiorMichael Goulet-28/+58
2022-10-17mir constants: type traversing bye byelcnr-5/+0
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-8/+8
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-2/+2
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+3
2022-06-21Reverse folder hierarchyAlan Egerton-4/+2
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-7/+4
2022-01-15initial revertEllen-5/+0
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-25/+21
2021-11-26Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer`LeSeulArtichaut-21/+7
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-24/+33
2021-08-26make unevaluated const substs optionallcnr-2/+2
2021-08-26require a `tcx` for `TypeVisitor`lcnr-0/+5
2021-03-31Add a new normalization query just for mir constantsOli Scherer-0/+5
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-7/+4
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-11-14Use `TypeVisitor::BreakTy` in `UnresolvedTypeFinder`LeSeulArtichaut-6/+3
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-1/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-1/+1
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-3/+5
2020-09-04Change ty.kind to a methodLeSeulArtichaut-2/+2
2020-08-30mv compiler to compiler/mark-0/+246