summary refs log tree commit diff
path: root/src/test/ui/coherence
AgeCommit message (Expand)AuthorLines
2022-10-20Add fix suggestions for E0199, E0200, and E0569Nicolas Barrios-0/+12
2022-10-08Rollup merge of #102514 - b-naber:binder-print-fixes, r=jackh726Michael Howell-2/+2
2022-10-01bless ui testsMaybe Waffle-12/+12
2022-09-30bless testsb-naber-2/+2
2022-09-23Allow more !Copy implsLeón Orell Valerian Liehr-2/+78
2022-08-23Permit negative impls coherence to take advantage of implied boundsSantiago Pastorino-14/+3
2022-08-20Use separate infcx to solve obligations during negative coherenceMichael Goulet-2/+18
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-2/+2
2022-08-15Rollup merge of #100514 - compiler-errors:issue-100191, r=spastorinoMatthias Krüger-0/+59
2022-08-13Delay span bug when failing to normalize negative coherence impl subject due ...Michael Goulet-0/+59
2022-07-28orphan check: remove const generics fixmelcnr-0/+29
2022-07-25Restore Opaque behavior to coherence checkMichael Goulet-0/+44
2022-07-10Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi...rhysd-1/+33
2022-07-01Auto merge of #98781 - GuillaumeGomez:rollup-798kb8u, r=GuillaumeGomezbors-2/+2
2022-07-01Don't point at Self type if we can't find an infer variable in ambiguous trai...Michael Goulet-2/+2
2022-07-01Shorten def_span for more items.Camille GILLOT-17/+6
2022-06-22Perform coherence checking per impl.Camille GILLOT-107/+107
2022-06-16 fix one more case of trailing spaceklensy-7/+7
2022-06-01update explicit impls error msglcnr-6/+6
2022-05-18Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errorsDylan DPC-0/+82
2022-05-10update coherence docs, fix opaque type + generator icelcnr-0/+82
2022-04-21make `E0117` error clearTakayuki Maeda-24/+24
2022-03-25Auto merge of #95082 - spastorino:overlap-inherent-impls, r=nikomatsakisbors-0/+47
2022-03-24Where bounds are checked on inherent implsSantiago Pastorino-0/+25
2022-03-22better errors when a Copy impl is not coherentMichael Goulet-0/+58
2022-03-18Fix inherent impls on negative coherenceSantiago Pastorino-0/+22
2022-03-17This test now worksSantiago Pastorino-13/+2
2022-03-17Make negative coherence work when there's impl negative on super predicatesSantiago Pastorino-0/+18
2022-03-16Add double negative trait test caseSantiago Pastorino-0/+12
2022-02-14Add failing test that should passSantiago Pastorino-0/+23
2022-02-14Properly check regions on negative overlap checkSantiago Pastorino-2/+19
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-12/+9
2022-01-21Implement stable with negative coherence modeSantiago Pastorino-0/+26
2021-12-10manually implement `Hash` for `DefId`Andre Bogus-11/+11
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-5/+0
2021-11-10no overlap errors after failing the orphan checklcnr-153/+108
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-1/+8
2021-10-22Hide negative coherence checks under negative_impls feature flagSantiago Pastorino-0/+32
2021-10-22Be sure that we do not allow too muchSantiago Pastorino-0/+36
2021-10-22Add rustc_strict_coherence attribute and use it to check overlapSantiago Pastorino-0/+49
2021-10-20Test that if we promise to not impl what would overlap it doesn't actually ov...Santiago Pastorino-0/+19
2021-09-20Don't use projection cache or candidate cache in intercrate modeAaron Hill-0/+1
2021-09-16Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisabors-1/+3
2021-09-16Point at call span that introduced obligation for the argEsteban Kuber-1/+3
2021-09-15Move object safety suggestions to the end of the errorEsteban Kuber-1/+1
2021-09-02Bless tests.Camille GILLOT-4/+8
2021-09-01Rollup merge of #88525 - notriddle:notriddle/coherence-dyn-auto-trait, r=petr...Mara Bos-0/+29
2021-08-31Change wording to less jaron-y "non-auto trait"Michael Howell-2/+2
2021-08-30fix(rustc_typeck): produce better errors for dyn auto traitMichael Howell-0/+29
2021-08-21Improve errors for recursive type aliasesNoah Lev-1/+1