summaryrefslogtreecommitdiff
path: root/compiler/rustc_infer/src/infer/freshen.rs
Commit message (Expand)AuthorAgeFilesLines
* rename `needs_infer` to `has_infer`Boxy2023-04-271-1/+1
* stop special-casing `'static` in evaluatelcnr2023-03-221-14/+3
* Remove type-traversal trait aliasesAlan Egerton2023-02-221-2/+2
* Rename folder traits' `tcx` method to `interner`Alan Egerton2023-02-131-3/+3
* Make folding traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-131-2/+2
* Pre-intern some commonly used type variables.Nicholas Nethercote2023-02-131-11/+6
* Change to `ReError(ErrorGuaranteed)`Esteban Küber2023-02-091-1/+1
* Introduce `ReError`Esteban Küber2023-02-091-0/+1
* Split and inline `TypeFreshener::fold_ty`.Nicholas Nethercote2023-02-061-68/+61
* Introduce GeneratorWitnessMIR.Camille GILLOT2023-01-271-0/+1
* Combine projection and opaque into aliasMichael Goulet2022-12-131-3/+2
* Remove `tcx.mk_const_var`Maybe Waffle2022-11-281-1/+1
* Add empty ConstKind::Abstractkadmin2022-11-251-0/+1
* Remove TypeckResults from InferCtxtCameron Steffen2022-10-071-2/+2
* Remove ReEmptyJack Huey2022-09-081-1/+0
* Update TypeVisitor pathsAlan Egerton2022-07-061-1/+1
* Rename the `ConstS::val` field as `kind`.Nicholas Nethercote2022-06-141-1/+1
* Folding revamp.Nicholas Nethercote2022-06-081-1/+1
* Avoid some unnecessary `return`s.Nicholas Nethercote2022-06-081-10/+3
* remove `unify_key::replace_if_possible`lcnr2022-04-011-7/+3
* Overhaul `Const`.Nicholas Nethercote2022-02-151-6/+6
* initial revertEllen2022-01-151-1/+1
* Reduce boilerplate around infallible foldersAlan Egerton2021-12-021-22/+19
* Unwrap the results of type foldersLeSeulArtichaut2021-11-261-2/+2
* Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut2021-11-261-17/+20
* update `TypeFlags` to deal with missing ct substslcnr2021-08-261-1/+1
* Improve caching during trait evaluationAaron Hill2021-07-211-3/+11
* Change ty.kind to a methodLeSeulArtichaut2020-09-041-1/+1
* mv compiler to compiler/mark2020-08-301-0/+258
View Lorry Controller Status