summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-05-26print const and type errors in braces not square bracketsBoxy-3/+3
2023-05-25Remove ExpnKind::Inlined.Camille GILLOT-3/+1
2023-05-25Auto merge of #111473 - compiler-errors:opaques, r=lcnrbors-11/+47
2023-05-25Rollup merge of #111875 - WaffleLapkin:defer_on_drop, r=NilstriebMatthias Krüger-1/+1
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-0/+36
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-1/+7
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-10/+4
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-7/+7
2023-05-24Rollup merge of #111870 - WaffleLapkin:just_🌟traits🌟_query, r=compiler-...Matthias Krüger-1/+1
2023-05-23Rename `traits_in_crate` query to `traits`Maybe Waffle-1/+1
2023-05-23Rollup merge of #111486 - fmease:pp-inh-proj, r=petrochenkovMatthias Krüger-1/+21
2023-05-23Don't leak the function that is called on dropMaybe Waffle-1/+1
2023-05-22Check opaques for mismatch during writebackMichael Goulet-7/+23
2023-05-22properly pretty-print inherent projectionsLeón Orell Valerian Liehr-1/+21
2023-05-19Add extra debug assertions for equality for Adt/Variant/FieldDefMichael Goulet-5/+44
2023-05-19Auto merge of #111641 - michaelwoerister:debugger-visualizer-fixes, r=cjgillotbors-1/+1
2023-05-18Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkinDylan DPC-3/+7
2023-05-17Rollup merge of #111625 - Zoxc:rustc_middle-query-move, r=cjgillotDylan DPC-654/+11
2023-05-17Auto merge of #111630 - BoxyUwU:ty_const_debug_formatting, r=compiler-errorsbors-41/+71
2023-05-17Finish move of query.rsJohn Kåre Alsaker-14/+11
2023-05-17Move rustc_middle/src/ty/query.rs to rustc_middle/src/query/plumbing.rsJohn Kåre Alsaker-640/+0
2023-05-16Move DebuggerVisualizerFile types from rustc_span to rustc_middleMichael Woerister-1/+1
2023-05-16Rollup merge of #111573 - compiler-errors:erase-re-error, r=WaffleLapkinMatthias Krüger-1/+3
2023-05-16Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger-3/+3
2023-05-16format `Const`'s less verboselyBoxy-41/+71
2023-05-16Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb-2/+2
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-3/+7
2023-05-15Auto merge of #111221 - compiler-errors:yeet-generalizer, r=lcnrbors-16/+37
2023-05-15Rename super_relate_* to structurally_relate_*Michael Goulet-16/+19
2023-05-15yeet ConstInferUnifierMichael Goulet-0/+18
2023-05-15Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger-90/+29
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-90/+29
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-17/+13
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-2/+2
2023-05-14Erase ReError properlyMichael Goulet-1/+3
2023-05-14Rename const error methods for consistencyMichael Goulet-17/+13
2023-05-14Auto merge of #108638 - Zoxc:erase-query-values-map, r=cjgillotbors-29/+38
2023-05-14Auto merge of #111440 - cjgillot:refprop-debuginfo, r=oli-obkbors-0/+1
2023-05-13Handle error body when in generator layoutclubby789-3/+3
2023-05-13Auto merge of #107586 - SparrowLii:parallel-query, r=cjgillotbors-4/+10
2023-05-13Implement references VarDebugInfo.Camille GILLOT-0/+1
2023-05-13Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile...Dylan DPC-12/+36
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-3/+14
2023-05-12Add a convenience functionOli Scherer-0/+12
2023-05-12Rewrite nested `if` conditions into a single matchOli Scherer-6/+7
2023-05-12Invert `IgnoreRegions` to `CheckRegions`Oli Scherer-4/+4
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-2/+2
2023-05-12Auto merge of #111493 - matthiaskrgr:rollup-iw1z59b, r=matthiaskrgrbors-4/+2
2023-05-12Don't ICE in layout computation for placeholder typesMichael Goulet-4/+2
2023-05-11Improve error for `self: Box<self>`clubby789-1/+1