about summary refs log tree commit diff
path: root/src/test/ui/nll/relate_tys
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-307/+0
2022-09-26address reviewb-naber-4/+4
2022-08-09don't normalize wf predicateslcnr-1/+11
2022-06-03Fully stabilize NLLJack Huey-26/+10
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+27
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-27/+0
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-0/+27
2021-09-25Don't anonymize bound region names during typeckAaron Hill-4/+4
2021-08-15Report nicer errors for HRTB NLL errors from queriesMatthew Jasper-9/+19
2021-08-15Report mismatched type errors for bound region errors in NLLMatthew Jasper-13/+28
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-8/+1
2020-04-16enforce that R1: R2 requires univ(R1) <= univ(R2)Niko Matsakis-0/+56
2020-01-23Use check-pass mode for nll testsTomasz Miąsko-2/+2
2019-11-04Use check-pass in ui tests where appropriateTomasz Miąsko-1/+1
2019-10-01Improve HRTB error span when -Zno-leak-check is usedAaron Hill-0/+42
2019-07-03Migrate compile-pass annotations to build-passYuki Okushi-3/+3
2019-05-12Remove feature(nll) when compare mode is sufficientMatthew Jasper-8/+1
2019-03-11Update testsVadim Petrochenkov-2/+2
2018-12-25Remove licensesMark Rousskov-53/+3
2018-12-04Update testsOliver Scherer-2/+2
2018-10-21Use new region infer errors for explaining borrowsMatthew Jasper-3/+3
2018-10-10Use the span of the user type for `AscribeUserType`Matthew Jasper-2/+2
2018-09-19Update ui testsMatthew Jasper-2/+2
2018-09-10optimize `let x: T = ..` to avoid a temporaryNiko Matsakis-14/+16
2018-09-10fix SCCs containing mixture of universesNiko Matsakis-0/+31
2018-09-10insert `AscribeUserType` for ascriptionsNiko Matsakis-1/+8
2018-09-10now that we can handle subtyping, fix higher-ranked equalityNiko Matsakis-12/+1
2018-09-10add a test for variables used twiceNiko Matsakis-0/+52
2018-07-26fix reference fileNiko Matsakis-1/+1
2018-07-25Nit: improve comment in hr-fn-aau-eq-abu.rsNiko Matsakis-10/+10
2018-07-25add regression test for #48071Niko Matsakis-0/+38
2018-07-25introduce new subtypingNiko Matsakis-0/+108