about summary refs log tree commit diff
path: root/src/test/ui/coherence
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-4386/+0
2023-01-01reduce spans for `unsafe impl` errorsLukas Markeffsky-2/+2
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject unso...Oli Scherer-32/+4
2022-11-18deduplicate testslcnr-59/+0
2022-11-10Don't print full paths in overlap errorsMichael Goulet-15/+15
2022-10-30better error for rustc_strict_coherence misuseMichael Goulet-0/+17
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 16:19:30 +0000