summaryrefslogtreecommitdiff
path: root/compiler/rustc_middle/src/infer
Commit message (Expand)AuthorAgeFilesLines
* Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnrMatthias Krüger2023-04-171-4/+2
|\
| * Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`.Nicholas Nethercote2023-04-161-4/+2
* | Rollup merge of #109665 - fee1-dead-contrib:rm-remap-queries, r=oli-obkfee1-dead2023-04-161-8/+0
|\ \ | |/ |/|
| * Remove `remap_env_constness` in queriesDeadbeef2023-04-081-8/+0
* | Fix typos in compilerDaniPopes2023-04-101-1/+1
* | prioritize param-env candidateslcnr2023-04-101-0/+12
|/
* Remove index from BrAnonJack Huey2023-04-061-1/+1
* Remove expect_anon and expect_anon_placeholder in favor of varJack Huey2023-04-061-6/+4
* Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey2023-04-061-3/+5
* Tweak debug outputs to make debugging new solver easierMichael Goulet2023-04-051-1/+1
* Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors2023-03-081-4/+33
|\
| * prefer universal from lower universeAli MJ Al-Nasrawy2023-03-081-1/+17
| * address review commentAli MJ Al-Nasrawy2023-03-081-3/+16
* | canonicalizationlcnr2023-03-032-2/+63
|/
* Rename many interner functions.Nicholas Nethercote2023-02-241-2/+2
* Remove type-traversal trait aliasesAlan Egerton2023-02-221-2/+2
* Add specialized variants of `mk_region`.Nicholas Nethercote2023-02-151-1/+1
* Make folding traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-131-1/+1
* Reduce direct `mk_ty` usage.Nicholas Nethercote2023-02-131-3/+3
* remove binder from query constraintslcnr2023-02-071-4/+2
* Make make_identity take CanonicalVarInfosMichael Goulet2023-01-261-27/+25
* Intern CanonicalVarValuesMichael Goulet2023-01-261-31/+31
* remove assembly context and impl a bit morelcnr2023-01-181-0/+6
* new trait solver: only consider goal changed if response is not identityMichael Goulet2023-01-171-0/+16
* Simplify some canonical type alias namesMichael Goulet2023-01-031-3/+1
* implement the skeleton of the updated trait solverlcnr2022-12-191-0/+10
* Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey2022-11-071-2/+4
* Refactor tcx mk_const parameters.Mateusz2022-11-041-4/+4
* Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet2022-10-271-2/+4
* Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet2022-10-191-4/+2
* Const unification is already infallible, remove the error handling logicOli Scherer2022-09-221-1/+1
* Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey2022-09-161-2/+5
* Revert "Better errors for implied static bound"Jack Huey2022-09-161-5/+2
* Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer2022-09-151-8/+12
* Better errors for implied static boundJack Huey2022-09-131-2/+5
* make `PlaceholderConst` not store the type of the constEllen2022-08-011-3/+3
* Use real opaque type instead of just saying impl TraitMichael Goulet2022-07-261-4/+4
* Use LocalDefId in OpaqueTypeKeyMichael Goulet2022-07-191-2/+2
* impl TypeVisitable in type traversal macrosAlan Egerton2022-07-051-2/+2
* Add #[derive(TypeVisitable)]Alan Egerton2022-07-052-5/+5
* Rename the `ConstS::val` field as `kind`.Nicholas Nethercote2022-06-141-1/+1
* fix most compiler/ doctestsElliot Roberts2022-05-021-1/+1
* remove unused incorrect `EqUnifyValue` impllcnr2022-04-011-3/+1
* remove `unify_key::replace_if_possible`lcnr2022-04-011-25/+2
* Spellchecking compiler commentsYuri Astrakhan2022-03-301-1/+1
* Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer2022-03-281-0/+6
* Inline UnifyKey::index and UnifyKey::from_indexTomasz Miąsko2022-02-151-0/+4
* Overhaul `Const`.Nicholas Nethercote2022-02-152-10/+10
* Renumber universes when canonicalizing for ChalkMatthew Jasper2022-02-111-3/+3
View Lorry Controller Status