about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/dyn_compatibility.rs
AgeCommit message (Expand)AuthorLines
2025-07-15Implement other logicstiif-0/+2
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-06-22Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errorsGuillaume Gomez-1/+1
2025-06-16trait_sel: `MetaSized` bounds in dispatchable checkDavid Wood-8/+15
2025-06-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-1/+1
2025-06-13Unimplement unsized_localsmejrs-2/+2
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-20/+22
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-2/+2
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-30Do not mix normalized and unnormalized caller bounds when constructing param-...Michael Goulet-13/+22
2025-03-18Remove existing AFIDT implementationMichael Goulet-26/+2
2025-03-11Elaborate param-env built for checking DispatchFromDyn for dyn compatMichael Goulet-7/+12
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-5/+3
2025-02-22Fix binding mode problemsMichael Goulet-2/+2
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-6/+5
2025-02-15Ignore Self in bounds check for associated types with Self:SizedMichael Goulet-0/+3
2025-02-04Remove unnecessary layout assertions for object-safe receiversMichael Goulet-105/+2
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-3/+3
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-1/+0
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-2/+3
2024-12-10Add feature gate, not working yetMichael Goulet-11/+48
2024-12-04Auto merge of #133818 - matthiaskrgr:rollup-iav1wq7, r=matthiaskrgrbors-4/+1
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-4/+1
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-2/+1
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-2/+2
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-3/+3
2024-11-02compiler: Replace rustc_target with _abi in _trait_selectionJubilee Young-1/+1
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-5/+5
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-5/+5
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+3
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-1/+1
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-3/+3
2024-10-10Compiler: Replace remaining occurrences of "object safe" with "dyn compatible"León Orell Valerian Liehr-12/+8
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-0/+936