summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-12/+0
2024-03-07Rollup merge of #121089 - oli-obk:create_def_feed, r=petrochenkovGuillaume Gomez-1/+4
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-6/+9
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-5/+4
2024-03-05Remove a use of feed_local_crate and make it fail if used within queriesOli Scherer-0/+2
2024-03-05Keep `TyCtxtFeed` around longer in the resolverOli Scherer-1/+2
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-0/+1
2024-03-04Add `is_intrinsic` helperOli Scherer-0/+1
2024-03-01Add `f16` and `f128` to the ASTTrevor Gross-0/+2
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-11/+9
2024-02-29Don't cancel stashed `OpaqueHiddenTypeMismatch` errors.Nicholas Nethercote-1/+5
2024-02-28Auto merge of #121489 - nnethercote:diag-renaming, r=davidtwcobors-2/+2
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-0/+1
2024-02-22Rollup merge of #121441 - lcnr:typesystem-cleanup, r=compiler-errorsMatthias Krüger-2/+3
2024-02-22`report_mismatch` did not actually report anymoreOli Scherer-1/+1
2024-02-22Avoid emitting type mismatches against `{type error}`Oli Scherer-3/+4
2024-02-22`DefId` to `LocalDefId`lcnr-2/+3
2024-02-15Replace `NonZero::<_>::new` with `NonZero::new`.Markus Reiter-3/+2
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