about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-04-02Fetch the destructor constness lazilyOli Scherer-1/+1
2025-04-02Rollup merge of #139191 - lcnr:interner-opaques, r=compiler-errorsStuart Cook-18/+9
2025-04-02Rollup merge of #138941 - compiler-errors:receiver-is-dispatchable-bounds, r=...Stuart Cook-13/+22
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-15/+13
2025-04-01simplify Interner opaque types APIlcnr-18/+9
2025-03-31increment depth of nested obligationslcnr-38/+38
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-15/+43
2025-03-30Do not mix normalized and unnormalized caller bounds when constructing param-...Michael Goulet-13/+22
2025-03-28Don't use `kw::Empty` in `hir::Lifetime::ident`.Nicholas Nethercote-8/+11
2025-03-27Auto merge of #139012 - Zalathar:rollup-qgt5yfo, r=Zalatharbors-2/+4
2025-03-26Stop using Interner in the compiler randomlyMichael Goulet-2/+4
2025-03-24Instantiate binder before registering nested obligations for auto/built-in tr...Michael Goulet-32/+16
2025-03-23Obligation::as_goalMichael Goulet-8/+8
2025-03-20Rollup merge of #138685 - nnethercote:use-Option-Ident-for-lowered-param-name...Matthias Krüger-5/+4
2025-03-19Rollup merge of #138594 - oli-obk:no-select, r=lcnrMatthias Krüger-12/+18
2025-03-19Fix next solver handling of shallow trait impl checkOli Scherer-12/+18
2025-03-19Use `Option<Ident>` for lowered param names.Nicholas Nethercote-5/+4
2025-03-18Remove existing AFIDT implementationMichael Goulet-89/+3
2025-03-18Auto merge of #138630 - matthiaskrgr:rollup-kk1gogr, r=matthiaskrgrbors-34/+36
2025-03-17Rollup merge of #138384 - nnethercote:hir-ItemKind-idents, r=fmeaseMatthias Krüger-34/+36
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-34/+36
2025-03-17Rollup merge of #137449 - compiler-errors:control-flow, r=Amanieu,lnicolaMatthias Krüger-4/+4
2025-03-17Use `strip_{prefix|suffix}` instead of `{starts|ends}_with`+indexingYotam Ofek-7/+2
2025-03-16Suppress must_use in compiler and toolsMichael Goulet-4/+4
2025-03-15Fold visit into tyMichael Goulet-13/+13
2025-03-15Squash fold into tyMichael Goulet-16/+13
2025-03-15Rollup merge of #138482 - nnethercote:fix-hir-printing, r=compiler-errorsLeón Orell Valerian Liehr-1/+4
2025-03-14Handle `_` properly in a couple of places.Nicholas Nethercote-1/+4
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-21/+17
2025-03-13Prefer built-in sized impls for rigid types alwaysMichael Goulet-5/+37
2025-03-13Rollup merge of #138126 - compiler-errors:rtn-for-sugg, r=oli-obkMatthias Krüger-3/+4
2025-03-13Auto merge of #138249 - compiler-errors:auto-self, r=lcnrbors-15/+1
2025-03-13Auto merge of #138416 - Manishearth:rollup-fejor9p, r=Manishearthbors-18/+14
2025-03-12Add an opt-out in pretty printing for RTN renderingMichael Goulet-3/+4
2025-03-12Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan...Manish Goregaokar-1/+0
2025-03-12Rollup merge of #137504 - nnethercote:remove-Map-4, r=ZalatharManish Goregaokar-18/+14
2025-03-12Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan...Matthias Krüger-1/+0
2025-03-12Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errorsMatthias Krüger-1/+1
2025-03-12Rollup merge of #138174 - compiler-errors:elaborate-unsize-self-pred, r=BoxyUwUMatthias Krüger-7/+12
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-18/+14
2025-03-11Auto merge of #138366 - matthiaskrgr:rollup-cn16m7q, r=matthiaskrgrbors-9/+0
2025-03-11Rollup merge of #138296 - compiler-errors:deanonymous, r=lcnrMatthias Krüger-9/+0
2025-03-11Auto merge of #128440 - oli-obk:defines, r=lcnrbors-5/+22
2025-03-11Elaborate param-env built for checking DispatchFromDyn for dyn compatMichael Goulet-7/+12
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-5/+22
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-10Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADTMichael Goulet-9/+0
2025-03-09Rollup merge of #138084 - nnethercote:workspace-lints, r=jieyouxuMatthias Krüger-1/+0
2025-03-09Rollup merge of #138040 - thaliaarchi:use-prelude-size-of.compiler, r=compile...Matthias Krüger-1/+1