about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2025-02-24ssa/mono: deduplicate `type_has_metadata`David Wood-0/+14
2025-02-24remove support for rustc_intrinsic_must_be_overridden from the compilerRalf Jung-7/+6
2025-02-24Fix some `use` items that import more than necessary.Nicholas Nethercote-1/+1
2025-02-23Rollup merge of #137458 - compiler-errors:render-fn, r=fmeaseJacob Pratt-10/+14
2025-02-23Rollup merge of #137334 - compiler-errors:edition-2024-fresh-2, r=saethlin,tr...Jacob Pratt-34/+23
2025-02-23Fix missing self subst when rendering Fn* trait with no output typeMichael Goulet-10/+14
2025-02-23Rollup merge of #137180 - compiler-errors:sym-regions, r=oli-obkMatthias Krüger-1/+5
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-34/+23