about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/at.rs
AgeCommit message (Expand)AuthorLines
2023-11-24Unify TraitRefs and PolyTraitRefsMichael Goulet-1/+5
2023-11-20Don't require intercrate mode for negative coherenceMichael Goulet-2/+9
2023-09-22Allow higher-ranked fn sigs in ValuePairsMichael Goulet-1/+22
2023-08-03Rework upcastingMichael Goulet-0/+28
2023-07-03add deep normalization via the new solverlcnr-0/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+0
2023-06-06New trait solver is a property of inference contextMichael Goulet-0/+1
2023-05-30rework the leak_check to take the outer_universelcnr-1/+1
2023-05-03remove `inside_canonicalization_ctxt` flaglcnr-3/+0
2023-03-22assertion for only collection nll region variable information for debug in no...b-naber-0/+3
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-51/+80
2023-03-15always make `define_opaque_types` explicitlcnr-51/+80
2023-03-14Don't make projection tys out of anon constsMichael Goulet-20/+4
2023-03-03canonicalizationlcnr-0/+28
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+1
2023-01-08Mention signature rather than fn pointers when comparing impl/trait methodsMichael Goulet-0/+12
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-2/+2
2022-12-02Move normalize_fn_sig to TypeErrCtxtMichael Goulet-4/+0
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-4/+3
2022-08-25Attempt to normalize FnDef signature in InferCtxt::cmpMichael Goulet-0/+4
2022-08-22InferCtxt emit error when incorrectly tainted by errorsyukang-1/+1
2022-07-21move `considering_regions` to the infcxlcnr-0/+1
2022-06-10the day that i make a PR without a tidy error..Ellen-7/+7
2022-06-10aEllen-0/+21
2022-05-02fix most compiler/ doctestsElliot Roberts-4/+4
2022-04-13couple of clippy::complexity fixesMatthias Krüger-3/+3
2022-03-31remove unused field from `infcx`lcnr-1/+0
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-5/+16
2022-03-24Extract impl_subject_and_oglibations fn and make equate receive subjectsSantiago Pastorino-1/+24
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2022-02-14reveal_defining_opaque_types field doesn't exist after rebaseSantiago Pastorino-1/+0
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-0/+23
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-15/+5
2022-02-08Rollup merge of #93728 - JulianKnodt:toterm, r=oli-obkMatthias Krüger-13/+11
2022-02-07Rm ValuePairs::Ty/Constkadmin-3/+9
2022-02-07Add in ValuePair::Termkadmin-10/+2
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-5/+15
2022-02-01Fix w/ commentskadmin-2/+10
2022-01-31Add ValuePairs::Terms & Fix compile errorkadmin-10/+2
2022-01-28Remove generalization over projectionkadmin-0/+20
2021-09-28More tracing instrumentationOli Scherer-4/+4
2021-02-13Don't go through TraitRef to relate projectionsMatthew Jasper-1/+24
2020-08-30mv compiler to compiler/mark-0/+311
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 01:07:17 +0000