about summary refs log tree commit diff
path: root/src/test/ui/regions
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-8428/+0
2023-01-09Auto merge of #101947 - aliemjay:astconv-normalize, r=lcnrbors-9/+9
2023-01-08Don't store spans in assumed_wf_types actuallyMichael Goulet-1/+17
2023-01-08Normalize assumed_wf_types after wfchecking is complete, for better spansMichael Goulet-2/+2
2023-01-08Improve spans of non-WF implied bound typesMichael Goulet-19/+3
2023-01-07make ascribe_user_type a TypeOpAli MJ Al-Nasrawy-9/+9
2022-12-19Revert "Replace usage of `ResumeTy` in async lowering with `Context`"Andrew Pollack-14/+10
2022-12-08Rollup merge of #104922 - estebank:fur-elize, r=oli-obkMatthias Krüger-2/+4
2022-12-06Replace usage of `ResumeTy` in async lowering with `Context`Arpad Borsos-10/+14
2022-11-28Detect long types in E0308 and write them to diskEsteban Küber-2/+4
2022-11-12Move testsCaio-0/+24
2022-10-20Update tests to match error message changesb4den-2/+2
2022-10-08Rollup merge of #102514 - b-naber:binder-print-fixes, r=jackh726Michael Howell-0/+20
2022-10-01bless ui testsMaybe Waffle-1/+1
2022-09-30bless testsb-naber-0/+20
2022-09-28add testb-naber-0/+34
2022-09-26address reviewb-naber-8/+8
2022-09-26bless testsb-naber-4/+28
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-25use a minimized exampleTakayuki Maeda-31/+14
2022-08-24do not suggest adding a bound to a opaque typeTakayuki Maeda-0/+43
2022-08-22Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakisbors-2/+18
2022-08-17ty::Error does not match other types for region constraintsMichael Goulet-0/+28
2022-08-17implied_bounds: clarify our assumptionslcnr-2/+18
2022-07-15provide `generic_param_scope` for region errorslcnr-34/+1
2022-07-14bless testsAli MJ Al-Nasrawy-21/+6
2022-07-14Make outlives::{components,verify} agreeAli MJ Al-Nasrawy-0/+77
2022-06-15tests H.R. `T: 'a` bounds proving themselvesNiko Matsakis-0/+41
2022-06-03Fully stabilize NLLJack Huey-2332/+196
2022-06-03Use the same message as type & const generics.Camille GILLOT-5/+5
2022-06-03Do not lower generic lifetime params when AST resolution emitted an error.Camille GILLOT-12/+2
2022-06-02Bless tests.Camille GILLOT-6/+17
2022-05-22Do leak check after function ptr coercionJack Huey-160/+41
2022-04-30Bless tests.Camille GILLOT-111/+227
2022-04-30Store all generic bounds as where predicates.Camille GILLOT-0/+36
2022-04-25Recover most `impl Trait` and `dyn Trait` lifetime bound suggestions under NLLmarmeladema-0/+50
2022-04-24Use revisions instead of nll compare mode for `/regions/` ui testsmarmeladema-470/+743
2022-04-24Bless testsmarmeladema-51/+65
2022-04-17Bless tests.Camille GILLOT-52/+65
2022-04-04Format invariance notes with backticksMichael Goulet-25/+25
2022-03-28Remove duplicated and unused test filesCaio-67/+0
2022-02-24Remove in-band lifetimesMichael Goulet-34/+0
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-2/+2
2021-12-31Ensure that early-bound function lifetimes are always 'local'Aaron Hill-22/+16
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-0/+35
2021-12-11Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obkbors-6/+6
2021-12-11Tweak assoc type obligation spansEsteban Kuber-6/+6
2021-12-10fix tests after rebaseEsteban Kuber-2/+2
2021-12-10Tweak wordingEsteban Kuber-7/+7
2021-12-10Use a more accurate `Span` for `'static` obligation from return typeEsteban Kuber-10/+10