about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-0/+4
2024-11-23global old solver cache: use `TypingEnv`lcnr-16/+6
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+5
2024-10-27Remove ObligationCause::span() methodMichael Goulet-12/+7
2024-10-27Stop using the whole match expr span for an arm's obligation spanMichael Goulet-0/+2
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-6/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-11/+14
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-0/+8
2024-10-17remove type_op constructorslcnr-25/+1
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-0/+8
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-4/+5
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-49/+55
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-08-08Detect `*` operator on `!Sized` expressionEsteban Küber-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-27/+26
2024-07-12enable fuzzing of `SearchGraph`lcnr-125/+0
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-63/+0
2024-06-27Make queries more explicitMichael Goulet-1/+1
2024-06-21Rename a bunch of thingsMichael Goulet-12/+10
2024-06-18Uplift PredefinedOpaquesDataMichael Goulet-9/+3
2024-06-18Make SearchGraph fully genericMichael Goulet-18/+12
2024-06-16Uplift ExternalConstraintDataMichael Goulet-24/+5
2024-06-16Make ExternalConstraints just carry outlivesMichael Goulet-2/+1
2024-06-16Uplift Reveal to rustc_type_irMichael Goulet-48/+1
2024-06-13Method resolution constrains hidden types instead of rejecting method candidatesOli Scherer-1/+1
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-1/+1
2024-06-06Uplift TypeErrorMichael Goulet-7/+0
2024-06-06Make middle not rely on next_trait_solverMichael Goulet-4/+4
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+2
2024-05-24remove proof tree formatter, make em shallowlcnr-3/+3
2024-05-20move global cache lookup into fnlcnr-16/+18
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-516/+14
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-31/+5
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-27/+2
2024-05-16Rename ToPredicate for UpcastMichael Goulet-8/+8
2024-05-13Use a proper probe for shadowing implMichael Goulet-0/+5
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-16/+9
2024-05-10Name tweaksMichael Goulet-7/+7
2024-05-10More rename falloutMichael Goulet-18/+19
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-27/+20
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-11/+12
2024-05-06Record impl args in the InsepctCandiate rather than rematching during selectMichael Goulet-0/+5
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-0/+3
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-2/+11
2024-04-29Take proof trees by value in inspect goalMichael Goulet-3/+3
2024-04-29Only register candidate if it is associated w a shallow certaintyMichael Goulet-4/+4
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-6/+9
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 11:15:57 +0000