summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2024-03-12Fix WF for AsyncFnKindHelper in new trait solverMichael Goulet-2/+3
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-8/+8
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-5/+2
2024-03-06Rollup merge of #121382 - nnethercote:rework-untranslatable_diagnostic-lint, ...Matthias Krüger-2/+2
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-0/+21
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-4/+4
2024-03-05only set noalias on Box with the global allocatorRalf Jung-0/+21
2024-03-05Change message type in bug functions.Nicholas Nethercote-2/+2
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-4/+2
2024-03-04Allow a way to add constructors for rustc_type_ir typesMichael Goulet-1/+8
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+4
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-2/+2
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+4
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-3/+3
2024-02-15Fix closure kind docsMichael Goulet-11/+26
2024-02-14Rollup merge of #121083 - GuillaumeGomez:doc-to_opt_closure_kind, r=compiler-...Guillaume Gomez-0/+14
2024-02-14Extend documentation for `Ty::to_opt_closure_kind` methodGuillaume Gomez-0/+14
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-0/+11
2024-02-12Dejargnonize substShoyu Vanilla-15/+15
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-16/+32
2024-02-08Rollup merge of #120801 - oli-obk:drop_recursion_ice, r=NilstriebMatthias Krüger-0/+1
2024-02-08Avoid ICE in drop recursion check in case of invalid drop implsOli Scherer-0/+1
2024-02-08introduce `enter_forall`Boxy-0/+1
2024-02-06More comments, final tweaksMichael Goulet-6/+38
2024-02-06Bless tests, add commentsMichael Goulet-2/+34
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-12/+35
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-2/+126
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+114
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-16/+32
2024-01-30Move predicate, region, and const stuff into their own modules in middleMichael Goulet-759/+6
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-4/+4
2024-01-23Random type checker changesMichael Goulet-26/+19
2024-01-10Simplify some redundant namesMichael Goulet-3/+3
2023-12-29Auto merge of #119392 - compiler-errors:args-parts, r=Nilstriebbors-58/+48
2023-12-28make ClosureArgsParts not genericMichael Goulet-58/+48
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-6/+5
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-15Rollup merge of #118888 - compiler-errors:uplift-more-things, r=jackh726Matthias Krüger-8/+12
2023-12-15Change `msg: impl Into<String>` for bug diagnostics.Nicholas Nethercote-2/+4
2023-12-14Move special methods from ClosureKind back into rustcMichael Goulet-0/+9
2023-12-12Uplift TypeAndMutMichael Goulet-8/+3
2023-12-08FeedbackMichael Goulet-2/+2
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-1/+9
2023-12-06Yeet PolyGenSigMichael Goulet-12/+0
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-6/+6
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-22Replace `custom_encodable` with `encodable`.Nicholas Nethercote-0/+1
2023-11-22Auto merge of #117582 - compiler-errors:uplift-canonical-var, r=jackh726bors-6/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-4/+4
2023-11-21Uplift BoundVarMichael Goulet-6/+1