about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-10/+10
2023-05-30leak_check: remove unused codepathlcnr-13/+0
2023-05-30Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnrbors-107/+125
2023-05-29Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errorsMatthias Krüger-52/+84
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-107/+125
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-10/+10
2023-05-29Use `Cow` in `{D,Subd}iagnosticMessage`.Nicholas Nethercote-10/+11
2023-05-28Add documentation on skip_binder on how to get &T from &EarlyBinder<T>Kyle Matsuda-0/+3
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-3/+3
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-9/+13
2023-05-28Auto merge of #111378 - jieyouxu:local-shadows-glob-reexport, r=petrochenkovbors-1/+1
2023-05-27Add warn-by-default lint for local binding shadowing exported glob re-export ...许杰友 Jieyou Xu (Joe)-1/+1
2023-05-26better `TyKind::Debug`Boxy-52/+84
2023-05-26print const and type errors in braces not square bracketsBoxy-3/+3
2023-05-26Wait until type_of to remap HIR opaques back to their defn paramsMichael Goulet-1/+1
2023-05-25Remove ExpnKind::Inlined.Camille GILLOT-3/+1
2023-05-25Use De Morgan's law to simplify logicMichael Howell-6/+6
2023-05-25remove outdated comment from `is_user_visible_dep` docsMichael Howell-4/+0
2023-05-25diagnostics: don't crash if an injected crate shows up in suggestionsMichael Howell-1/+4
2023-05-25diagnostics: exclude indirect private deps from trait impl suggestMichael Howell-1/+22
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