summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-25move 2 candidates into builtin candidatelcnr-23/+0
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-0/+20
2022-11-19Improve spans for RPITIT object-safety errorsMichael Goulet-2/+8
2022-11-08selection failure: recompute applicable implslcnr-3/+0
2022-11-05Enforce rust-check ABI in signatures, callsMichael Goulet-0/+2
2022-11-03CleanupsBoxy-1/+8
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-1/+1
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-1/+1
2022-10-17Duplicate comment in mod.rsSamuel Moelius-5/+0
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-9/+2
2022-09-16Add AscribeUserTypeProvePredicateJack Huey-0/+5
2022-09-16Add to_constraint_category to ObligationCause and SubregionOriginJack Huey-0/+8
2022-09-16Revert "Better errors for implied static bound"Jack Huey-13/+0
2022-09-13Better errors for implied static boundJack Huey-0/+13
2022-09-12Rollup merge of #101681 - compiler-errors:rpitit-obj-safety, r=lcnrDylan DPC-0/+9
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-2/+9
2022-09-11Deny RPITIT for object safetyMichael Goulet-0/+9
2022-09-09rename `codegen_fulfill_obligation`lcnr-1/+1
2022-09-08Add associated item binding to non-param-ty where clause suggestionsMichael Goulet-2/+2
2022-08-24Note binding obligation causes for const equate errorsMichael Goulet-0/+7
2022-08-21More docsMichael Goulet-5/+11
2022-08-21Rework point-at-argMichael Goulet-0/+4
2022-08-07Built-in implementation of Tuple traitMichael Goulet-2/+9
2022-07-24Combine redundant obligation cause codesMichael Goulet-10/+2
2022-07-21And for patterns tooMichael Goulet-2/+5
2022-07-21Do if-expression obligation stuff less eagerlyMichael Goulet-7/+9
2022-07-16Rollup merge of #99290 - compiler-errors:revert-98794, r=lcnrMatthias Krüger-9/+1
2022-07-15Propagate Expectation around binop typeck code to construct more precise trai...Will Crichton-1/+2
2022-07-15Revert "Highlight conflicting param-env candidates"Michael Goulet-9/+1
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-1/+1
2022-07-15Remove some more usages of guess_head_spanMichael Goulet-6/+1
2022-07-12Move abstract const to rustc_middle::tykadmin-1/+1
2022-07-08Highlight conflicting param-env candidatesMichael Goulet-1/+9
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-12/+23
2022-06-28Fix trait object reborrow suggestionMichael Goulet-1/+1
2022-06-27Rollup merge of #98506 - compiler-errors:object-safety-suggestions, r=oli-obkMatthias Krüger-38/+29
2022-06-27Rollup merge of #97780 - compiler-errors:field-wfcheck-before-sized, r=jackh726Matthias Krüger-1/+1
2022-06-25Fix span issues in object safety suggestionsMichael Goulet-38/+29
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-0/+3
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-2/+2
2022-06-05Do wfcheck on ADT field before Sized checkMichael Goulet-1/+1
2022-05-22Lifetime variance fixes for rustcMichael Goulet-5/+7
2022-05-18Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errorsDylan DPC-0/+3
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-35/+75
2022-05-16Force inline InternedObligationCauseCode creationOli Scherer-4/+4
2022-05-13Avoid invoking the full `eq` infrastructure when all we want is to check a di...Oli Scherer-1/+3
2022-05-12Give the inliner some hintsOli Scherer-0/+2
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-0/+18