about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-19/+16
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-06-05Fully implement `ConstArgHasType`Boxy-28/+40
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-1/+1
2024-06-03Nits and formattingMichael Goulet-12/+22
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-4/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+15
2024-06-03Make TraitEngines generic over errorMichael Goulet-23/+28
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-10/+31
2024-05-29Partially implement `ConstArgHasType`Boxy-10/+31
2024-05-28Get rid of manual Trace callsMichael Goulet-2/+5
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-2/+2
2024-05-13split out AliasTy -> AliasTermMichael Goulet-2/+2
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-22/+14
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-2/+2
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-1/+1
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-1/+1
2024-04-04Allow defining opaque types when checking const equality boundsOli Scherer-3/+9
2024-04-04Add some regression tests for opaque types and const genericsOli Scherer-1/+2
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-1/+1
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-1/+1
2024-02-22overflow errors: change source to a concrete enumlcnr-6/+1
2024-02-19split `project` into multiple fileslcnr-1/+2
2024-02-19never normalize without eager inference replacementlcnr-1/+1
2024-02-14Do not report overflow errors on ConstArgHasType goalsMichael Goulet-12/+15
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-2/+1
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-22/+21
2024-01-13assert that trait solver is only created in proper infcxMichael Goulet-0/+5
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-22/+21
2023-12-17don't fold ParamEnv in register_predicate_obligationAli MJ Al-Nasrawy-2/+3
2023-12-07add unused `NormalizesTo` predicatelcnr-2/+8
2023-12-01Handle recursion limit for subtype and well-formed predicatesMatthew Jasper-5/+30
2023-11-21Remove ClosureKind predicate kindMichael Goulet-14/+0
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-4/+5
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-21/+2
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-21/+23
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-2/+21
2023-07-16Auto merge of #113742 - compiler-errors:dont-short-circuit-intercrate-global-...bors-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 21:57:44 +0000