summary refs log tree commit diff
path: root/tests/ui/impl-trait/precise-capturing
AgeCommit message (Collapse)AuthorLines
2024-10-10Clarify implicit captures for RPITITMichael Goulet-2/+2
2024-10-10Add variances to RPITITsMichael Goulet-141/+141
2024-10-10Add gate for precise capturing in traitsMichael Goulet-0/+18
2024-10-10Move ty::Error branch into super_combine_tysMichael Goulet-19/+1
2024-09-16Auto merge of #130439 - matthiaskrgr:rollup-1lkzo74, r=matthiaskrgrbors-0/+58
Rollup of 4 pull requests Successful merges: - #123436 (linker: Allow MSVC to use import libraries following the Meson/MinGW convention) - #130410 (Don't ICE when generating `Fn` shim for async closure with borrowck error) - #130412 (Don't ICE when RPITIT captures more method args than trait definition) - #130436 (Ignore reduce-fadd-unordered on SGX platform) r? `@ghost` `@rustbot` modify labels: rollup
2024-09-16Don't ICE when RPITIT captures more method args than trait definitionMichael Goulet-0/+58
2024-09-16Introduce distinct error codes for precise capturingMichael Goulet-5/+5
2024-09-16Do precise capturing arg validation in resolveMichael Goulet-13/+22
2024-09-05Don't worry about uncaptured contravariant lifetimes if they outlive a ↵Michael Goulet-0/+15
captured lifetime
2024-08-26Tie `impl_trait_overcaptures` lint to Rust 2024Travis Cross-6/+22
The `impl_trait_overcaptures` lint is part of the migration to Rust 2024 and the Lifetime Capture Rules 2024. Now that we've stabilized precise capturing (RFC 3617), let's tie this lint to the `rust_2024_compatibility` lint group.
2024-08-17Bless test falloutMichael Goulet-10/+8
2024-08-17Stabilize opaque type precise capturingMichael Goulet-100/+66
2024-07-17Fix precise capturing suggestion for hidden type when APITs are involvedMichael Goulet-1/+55
2024-07-11Suggest using precise capturing for hidden type that captures regionMichael Goulet-3/+100
2024-06-28Move binder and polarity parsing into parse_generic_ty_boundMichael Goulet-0/+112
2024-06-24Deny use<> for RPITITsMichael Goulet-45/+76
2024-06-20Add a test demonstrating that RPITITs cant use precise capturingMichael Goulet-0/+63
2024-06-17Delay a bug and mark precise_capturing as not incompleteMichael Goulet-225/+45
2024-06-17Detect duplicatesMichael Goulet-0/+39
2024-06-17Add tests for illegal use bound syntaxMichael Goulet-2/+119
2024-06-17Rework precise capturing syntaxMichael Goulet-124/+124
2024-06-17Make parse_seq_to_before_tokens take expected/nonexpected tokens, use in ↵Michael Goulet-10/+1
parse_precise_capturing_syntax
2024-05-13And finally add testsMichael Goulet-0/+133
2024-05-13Warn against redundant use<...>Michael Goulet-1/+71
2024-04-23Rollup merge of #124169 - compiler-errors:parser-fatal, r=oli-obkMatthias Krüger-0/+25
Don't fatal when calling `expect_one_of` when recovering arg in `parse_seq` In `parse_seq`, when parsing a sequence of token-separated items, if we don't see a separator, we try to parse another item eagerly in order to give a good diagnostic and recover from a missing separator: https://github.com/rust-lang/rust/blob/d1a0fa5ed3ffe52d72f761d3c95cbeb0a9cdfe66/compiler/rustc_parse/src/parser/mod.rs#L900-L901 If parsing the item itself calls `expect_one_of`, then we will fatal because of #58903: https://github.com/rust-lang/rust/blob/d1a0fa5ed3ffe52d72f761d3c95cbeb0a9cdfe66/compiler/rustc_parse/src/parser/mod.rs#L513-L516 For `precise_capturing` feature I implemented, we do end up calling `expected_one_of`: https://github.com/rust-lang/rust/blob/d1a0fa5ed3ffe52d72f761d3c95cbeb0a9cdfe66/compiler/rustc_parse/src/parser/ty.rs#L712-L714 This leads the compiler to fatal *before* having emitted the first error, leading to absolutely no useful information for the user about what happened in the parser. This PR makes it so that we stop doing that. Fixes #124195
2024-04-20Explicitly mention `Self`Michael Goulet-5/+5
2024-04-20Flip spans for precise capturing syntax not capturing a ty/ct paramMichael Goulet-14/+16
2024-04-19Fix capturing duplicated lifetimes via parentMichael Goulet-0/+66
2024-04-19Don't fatal when calling expect_one_of when recovering arg in parse_seqMichael Goulet-0/+25
2024-04-15More polishingMichael Goulet-1/+53
2024-04-15Use a path instead of an ident (and stop manually resolving)Michael Goulet-14/+24
2024-04-15Some ordering and duplication checksMichael Goulet-0/+53
2024-04-15Add hir::Node::PreciseCapturingNonLifetimeArgMichael Goulet-31/+68
2024-04-15Validation and other thingsMichael Goulet-1/+203
2024-04-15Begin AST lowering for precise capturesMichael Goulet-0/+56