about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-03-07Make synthetic RPITIT assoc ty name handling more rigorous.Nicholas Nethercote-4/+6
2025-03-07Pass `Option<Symbol>` to `def_path_data`/`create_def` methods.Nicholas Nethercote-2/+2
2025-03-07Auto merge of #138127 - compiler-errors:rollup-kcarqrz, r=compiler-errorsbors-0/+5
2025-03-06Account for UseCloned on expr_use_visitorSantiago Pastorino-0/+12
2025-03-06Generate the right MIR for by use closuresSantiago Pastorino-2/+5
2025-03-06Rollup merge of #137820 - meithecatte:instantiate-opt, r=BoxyUwUMichael Goulet-1/+9
2025-03-06expand comments of `TyCtxt` impl of `DynSync`/`DynSend`Rémy Rakic-1/+3
2025-03-06Hide the end of ranges in pretty printing if it's also the maximum of the typeOli Scherer-1/+23
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-18/+8
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-29/+17
2025-03-06Prefer a two value enum over boolOli Scherer-5/+4
2025-03-06Revert "rustc_middle: parallel: TyCtxt: remove "unsafe impl DynSend/DynSync""Rémy Rakic-0/+3
2025-03-04Auto merge of #135186 - camelid:const-path-multi, r=BoxyUwUbors-1/+19
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-1/+19
2025-03-04InhabitedPredicate: avoid using a wildcard branchMaja Kądziołka-1/+4
2025-03-04Clarify why InhabitedPredicate::instantiate_opt existsMaja Kądziołka-0/+5
2025-03-03Rename a bitMichael Goulet-15/+6
2025-03-03Fix pretty printing of unsafe bindersMichael Goulet-37/+80
2025-03-01Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errorsMatthias Krüger-6/+0
2025-03-01Rollup merge of #137763 - compiler-errors:ty-nits, r=BoxyUwUMatthias Krüger-2/+2
2025-03-01Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnrMatthias Krüger-0/+1
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-43/+29
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-0/+1
2025-02-28Rollup merge of #137712 - meithecatte:extract-binding-mode, r=oli-obk许杰友 Jieyou Xu (Joe)-2/+4
2025-02-28reviewlcnr-14/+0
2025-02-28rework cycle handlinglcnr-4/+6
2025-02-28Auto merge of #137710 - matthiaskrgr:rollup-3vmxxu9, r=matthiaskrgrbors-4/+174
2025-02-28Use mk_ty_from_kind a bit less, clean up lifetime handling in borrowckMichael Goulet-2/+2
2025-02-28Auto merge of #137669 - DianQK:fn-atts-virtual, r=saethlinbors-2/+3
2025-02-27Clean up TypeckResults::extract_binding_modeMaja Kądziołka-2/+4
2025-02-27Rollup merge of #137455 - compiler-errors:drop-lint-dtor, r=oli-obkMatthias Krüger-0/+173
2025-02-27Rollup merge of #136846 - nnethercote:make-AssocOp-more-like-ExprKind, r=spas...Matthias Krüger-4/+1
2025-02-27Don't infer attributes of virtual calls based on the function bodyDianQK-2/+3
2025-02-27Introduce `AssocOp::Binary`.Nicholas Nethercote-4/+1
2025-02-26Remove `ParamEnv::without_caller_bounds`Boxy-6/+0
2025-02-26Print out destructorMichael Goulet-0/+173
2025-02-26Rollup merge of #137201 - estebank:structured-errors-long-ty, r=oli-obkLeón Orell Valerian Liehr-24/+42
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-20/+3
2025-02-26Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solverMichael Goulet-23/+26
2025-02-26Auto merge of #137354 - FractalFir:intern_with_cap, r=FractalFirbors-24/+30
2025-02-26Rollup merge of #137601 - davidtwco:deduplicate-type-has-metadata, r=fmease,b...León Orell Valerian Liehr-0/+14
2025-02-26Rollup merge of #137529 - klensy:unused3, r=lcnrLeón Orell Valerian Liehr-7/+1
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-24/+42
2025-02-25remove unused field from VariantDef::new and convert debug to instrumentklensy-7/+1
2025-02-25Auto merge of #137573 - compiler-errors:rollup-noq9yhp, r=compiler-errorsbors-7/+6
2025-02-24Rollup merge of #137489 - RalfJung:no-more-rustc_intrinsic_must_be_overridden...Michael Goulet-7/+6
2025-02-25Changed interners to start with preallocated capacityMichał Kostrubiec-24/+30
2025-02-24Auto merge of #135726 - jdonszelmann:attr-parsing, r=oli-obkbors-8/+22
2025-02-24Introduce new-style attribute parsers for several attributesJana Dönszelmann-7/+21
2025-02-24Change span field accesses to method callsJana Dönszelmann-1/+1