about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-02-22`DefId` to `LocalDefId`lcnr-2/+3
2024-02-22Remove dead `expect_error_or_delayed_bug` method.Nicholas Nethercote-5/+0
2024-02-21Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errorsDylan DPC-1/+1
2024-02-21Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnrDylan DPC-2/+1
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-1/+3
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-5/+2
2024-02-20Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obkMatthias Krüger-21/+119
2024-02-20Move the peeling function for weak alias typesLeón Orell Valerian Liehr-0/+33
2024-02-20Expand weak alias types before collecting constrained and referenced late bou...León Orell Valerian Liehr-8/+10
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-14/+77
2024-02-20Make --verbose imply -Z write-long-types-to-disk=noFernando Fernandez Mancera-1/+1
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-4/+4
2024-02-16Move trait into attr so it's greppableMichael Goulet-6/+6
2024-02-16Use extension trait deriveMichael Goulet-27/+6
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-5/+11
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-22/+20
2024-02-15Fix closure kind docsMichael Goulet-11/+26
2024-02-15Auto merge of #116564 - oli-obk:evaluated_static_in_metadata, r=RalfJung,cjgi...bors-0/+1
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-1/+1
2024-02-15Store static initializers in metadata instead of the MIR of statics.Oli Scherer-0/+1
2024-02-15Rollup merge of #121084 - oli-obk:create_def_forever_red2, r=WaffleLapkinMatthias Krüger-13/+17
2024-02-15Replace `NonZero::<_>::new` with `NonZero::new`.Markus Reiter-20/+15
2024-02-15Use generic `NonZero` internally.Markus Reiter-18/+21
2024-02-14Move all the heavy lifting from `TyCtxtAt::create_def` into `TyCtxt::create_def`Oli Scherer-13/+17
2024-02-14Rollup merge of #121084 - oli-obk:create_def_forever_red2, r=WaffleLapkinGuillaume Gomez-6/+6
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-14Make sure `tcx.create_def` also depends on the forever red node, instead of j...Oli Scherer-6/+6
2024-02-14Rollup merge of #120498 - compiler-errors:type-flags, r=lcnrOli Scherer-312/+69
2024-02-14Auto merge of #121018 - oli-obk:impl_unsafety, r=TaKO8Kibors-0/+1
2024-02-13Rollup merge of #120959 - nnethercote:rm-good_path, r=oli-obkMatthias Krüger-6/+5
2024-02-13Move visitable bounds up into internerMichael Goulet-2/+2
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-310/+67
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/+29
2024-02-13Remove `good_path_delayed_bug`.Nicholas Nethercote-6/+5
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-80/+80
2024-02-12Rollup merge of #120950 - compiler-errors:miri-async-closurs, r=RalfJung,oli-obkMatthias Krüger-14/+13
2024-02-12Auto merge of #120980 - matthiaskrgr:rollup-dsjsqql, r=matthiaskrgrbors-5/+5
2024-02-12Remove impl_polarity queryOli Scherer-0/+5
2024-02-12Implement intrinsics with fallback bodiesOli Scherer-1/+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-1/+8
2024-02-12Make impl_trait_ref into a query also returning more information about the implOli Scherer-0/+9
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-4/+9
2024-02-12Tweak delayed bug mentions.Nicholas Nethercote-5/+5
2024-02-12Dejargnonize substShoyu Vanilla-80/+80
2024-02-12Lowering field access for anonymous adtsFrank King-0/+19