about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/undo_log.rs
AgeCommit message (Expand)AuthorLines
2023-12-08cleanup type variable storagelcnr-3/+3
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-5/+5
2023-09-10Implement fallback for effect paramDeadbeef-0/+3
2023-05-30change redundant `clear()` to assertionlcnr-4/+2
2023-05-30rework the leak_check to take the outer_universelcnr-9/+0
2022-12-19clippy::complexity fixesMatthias Krüger-7/+1
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+4
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-3/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-1/+5
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-0/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-5/+1
2022-02-02Eagerly merge hidden types.Oli Scherer-1/+3
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-3/+2
2022-02-02Add roll back infrastructure for opaque type cachesOli Scherer-1/+4
2021-08-22Fix more “a”/“an” typosFrank Steffahn-1/+1
2021-05-14Store Option<Region> as value for RegionVidJack Huey-2/+3
2021-03-27Remove (lots of) dead codeJoshua Nelson-4/+0
2021-02-15Fix typo in rustc_infer::infer::UndoLogpierwill-1/+1
2020-08-30mv compiler to compiler/mark-0/+215