about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2024-02-15Use generic `NonZero` internally.Markus Reiter-2/+2
2024-02-14Rollup merge of #120498 - compiler-errors:type-flags, r=lcnrOli Scherer-0/+10
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-0/+10
2024-02-13Store impl unsafety in impl trait headerOli Scherer-0/+1
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-10/+14
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-2/+2
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-5/+6
2024-02-12Eagerly dismiss binderOli Scherer-8/+5
2024-02-12Unwrap an Option that can only be Some, as inherent impls can't overlapOli Scherer-6/+6
2024-02-12Use a struct instead of a tupleOli Scherer-0/+6
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2024-02-12check uniqueness of nested fieldsFrank King-0/+5
2024-02-12Lower anonymous structs or unions to HIRFrank King-3/+16
2024-02-06Fix drop shim for AsyncFnOnce closure, AsyncFnMut shim for AsyncFn closureMichael Goulet-1/+1
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+1
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-0/+1
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-3/+4
2024-01-30Move predicate, region, and const stuff into their own modules in middleMichael Goulet-696/+22
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-2/+2
2024-01-25Auto merge of #119955 - kamalesh0406:master, r=WaffleLapkinbors-8/+24
2024-01-18Modify GenericArg and Term structs to use strict provenance rulesKamalesh Palanisamy-8/+24
2024-01-17Improved collapse_debuginfo attribute, added command-line flag (no|external|yes)Andrew Zhogin-2/+1
2024-01-12Delegation implementation: step 1Bryanskiy-1/+5
2024-01-09Rollup merge of #118903 - azhogin:azhogin/skip_second_stmt_debuginfo.rs, r=pe...Matthias Krüger-11/+11
2024-01-08Improved support of collapse_debuginfo attribute for macros.Andrew Zhogin-11/+11
2024-01-04Make iteration order of inferred_outlives_crate query stableMichael Woerister-1/+1
2024-01-04Make iteration order of crate_inherent_impls query result stable.Michael Woerister-1/+2
2023-12-31Auto merge of #119447 - Nilstrieb:STACKOVERFLOW, r=compiler-errorsbors-1/+2
2023-12-30Update to bitflags 2 in the compilerNilstrieb-2/+4
2023-12-30Fix `<BoundConstness as Display>`Nilstrieb-1/+2
2023-12-27Introduce `const Trait` (always-const trait bounds)León Orell Valerian Liehr-11/+10
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-1/+1
2023-12-18Replace some instances of FxHashMap/FxHashSet with stable alternatives (mostl...Michael Woerister-1/+1
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-18resolve: Replace visibility table in resolver outputs with query feedingVadim Petrochenkov-1/+1
2023-12-15NFC: do not clone types that are copyMatthias Krüger-1/+1
2023-12-12Uplift ClosureKindMichael Goulet-1/+1
2023-12-08FeedbackMichael Goulet-22/+17
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-6/+26
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+39
2023-12-07Auto merge of #118684 - compiler-errors:yeet-poly-gen-sig, r=spastorinobors-3/+2
2023-12-06Yeet PolyGenSigMichael Goulet-3/+2
2023-12-05rustc_arena: add `alloc_str`Josh Stone-3/+1
2023-12-01vis note for no pub reexports glob importbohan-0/+17
2023-11-28resolve: Feed the `def_kind` query immediately on `DefId` creationVadim Petrochenkov-3/+0
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-3/+3
2023-11-25Rollup merge of #117871 - klensy:unused-pub, r=cjgillotGuillaume Gomez-36/+0
2023-11-24Auto merge of #118189 - compiler-errors:cache-flags-for-const, r=nnethercotebors-2/+2
2023-11-23few moreklensy-17/+0