about summary refs log tree commit diff
path: root/src/test/ui/specialization
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-4009/+0
2023-01-08Normalize assumed_wf_types after wfchecking is complete, for better spansMichael Goulet-6/+6
2023-01-08Improve spans of non-WF implied bound typesMichael Goulet-14/+10
2022-12-13Inform the user which trait is meant in the diagnostic itself instead of rely...Oli Scherer-1/+1
2022-11-18deduplicate testslcnr-3/+32
2022-11-10Don't print full paths in overlap errorsMichael Goulet-3/+3
2022-10-01bless ui testsMaybe Waffle-48/+48
2022-09-24Allow specializing on const trait boundsDeadbeef-0/+55
2022-09-23Always print '_, even for erased lifetimes.Camille GILLOT-1/+1
2022-09-13Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errorsbors-4/+3
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-30Stabilize GATsJack Huey-4/+3
2022-08-22Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakisbors-6/+12
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-8/+8
2022-08-17implied_bounds: clarify our assumptionslcnr-6/+12
2022-08-05Auto merge of #95977 - FabianWolff:issue-92790-dead-tuple, r=estebankbors-2/+2
2022-08-03Warn about dead tuple struct fieldsFabian Wolff-2/+2
2022-08-03Delay a bug when failed to normalize trait ref during specializationMichael Goulet-0/+58
2022-07-15remove `impl_implied_bounds` from `FnCtxt`lcnr-5/+3
2022-07-07Track implicit `Sized` obligations in type paramsEsteban Küber-2/+2
2022-07-01Improve spans for specialization errorMichael Goulet-11/+11
2022-07-01Shorten def_span for more items.Camille GILLOT-177/+96
2022-06-26Add regression test for #79224Yuki Okushi-0/+53
2022-06-25Rollup merge of #98298 - TaKO8Ki:point-to-type-param-definition, r=compiler-e...Matthias Krüger-2/+2
2022-06-22point to type param definition when not finding variant, method and assoc typeTakayuki Maeda-2/+2
2022-06-16 fix one more case of trailing spaceklensy-1/+1
2022-06-11Handle empty where-clause betterMichael Goulet-1/+1
2022-04-05Rollup merge of #95525 - ohno418:suggest-derivable-trait-E0277, r=compiler-er...Dylan DPC-0/+4
2022-04-05Suggest derivable trait on E0277ohno418-0/+4
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-2/+1
2022-03-24Properly track `ImplObligation`sEsteban Kuber-2/+1
2022-02-14further update `fuzzy_match_tys`lcnr-0/+2
2022-02-12Update chalk testsMatthew Jasper-10/+9
2022-01-21Override rustc version in ui and mir-opt tests to get stable hashesThe 8472-1/+1
2022-01-17Update term for use in more placeskadmin-1/+1
2021-12-13Include rustc version in `rustc_span::StableCrateId`pierwill-1/+1
2021-12-11Tweak assoc type obligation spansEsteban Kuber-14/+14
2021-11-20Point at `impl` blocks when they introduce unmet obligationsEsteban Kuber-2/+6
2021-11-20Do not mention associated items when they introduce an obligationEsteban Kuber-5/+0
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-0/+5
2021-11-06Move some tests to more reasonable directoriesCaio-0/+27
2021-10-05Consider unfulfilled obligations in binop errorsEsteban Kuber-0/+8
2021-10-04Rollup merge of #89413 - matthewjasper:spec-marker-fix, r=nikomatsakisJubilee-0/+42
2021-10-02Consistently use 'supertrait'.Bruce Mitchener-2/+2
2021-09-30Elaborate predicates in min_specialization checksMatthew Jasper-0/+42
2021-09-15Move some tests to more reasonable directoriesCaio-0/+55
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-2/+1
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-1/+1
2021-08-16Use note to point at bound introducing requirementEsteban Küber-24/+44
2021-08-12Use a more accurate span on assoc types WF checksEsteban Kuber-2/+2