nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-28 01:34:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
49e73c3e01
rust/tests/ui/unboxed-closures
History
Esteban Küber 796be88062 Use fn ptr signature instead of {closure@..} in infer error 
When suggesting a type on inference error, do not use `{closure@..}`.
Instead, replace with an appropriate `fn` ptr.

On the error message, use `short_ty_string` and write long types to
disk.

```
error[E0284]: type annotations needed for `Select<{closure@lib.rs:2782:13}, _, Expression<'_>, _>`
  --> crates/lang/src/parser.rs:41:13
   |
41 |         let lit = select! {
   |             ^^^
42 |             Token::Int(i) = e => Expression::new(Expr::Lit(ast::Lit::Int(i.parse().unwrap())), e.span()),
   |                                                                                                  ---- type must be known at this point
   |
   = note: the full type name has been written to '/home/gh-estebank/iowo/target/debug/deps/lang-e2d6e25819442273.long-type-4587393693885174369.txt'
   = note: cannot satisfy `<_ as chumsky::input::Input<'_>>::Span == SimpleSpan`
help: consider giving `lit` an explicit type, where the type for type parameter `I` is specified
   |
41 |         let lit: Select<for<'a, 'b> fn(tokens::Token<'_>, &'a mut MapExtra<'_, 'b, _, _>) -> Option<Expression<'_>>, _, Expression<'_>, _> = select! {
   |                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
```

instead of

```
error[E0284]: type annotations needed for `Select<{closure@/home/gh-estebank/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chumsky-1.0.0-alpha.6/src/lib.rs:2782:13: 2782:28}, _, Expression<'_>, _>`
  --> crates/lang/src/parser.rs:41:13
   |
41 |         let lit = select! {
   |             ^^^
42 |             Token::Int(i) = e => Expression::new(Expr::Lit(ast::Lit::Int(i.parse().unwrap())), e.span()),
   |                                                                                                  ---- type must be known at this point
   |
   = note: cannot satisfy `<_ as chumsky::input::Input<'_>>::Span == SimpleSpan`
help: consider giving `lit` an explicit type, where the type for type parameter `I` is specified
   |
41 |         let lit: Select<{closure@/home/gh-estebank/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chumsky-1.0.0-alpha.6/src/lib.rs:2782:13: 2782:28}, _, Expression<'_>, _> = select! {
   |                ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
```

Fix #123630.
2024-04-10 00:41:27 +00:00
..
auxiliary
issue-18652.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-18661.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-30906.rs
issue-30906.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-53448.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
non-tupled-arg-mismatch.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
non-tupled-arg-mismatch.stderr Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
non-tupled-call.rs
non-tupled-call.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-id-higher-rank.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closure-feature-gate.rs
unboxed-closure-feature-gate.stderr Bless tests 2024-01-13 12:46:58 -05:00
unboxed-closure-illegal-move.rs
unboxed-closure-illegal-move.stderr
unboxed-closure-immutable-capture.rs
unboxed-closure-immutable-capture.stderr
unboxed-closure-no-cyclic-sig.rs s/generator/coroutine/ 2023-10-20 21:14:01 +00:00
unboxed-closure-no-cyclic-sig.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-region.rs
unboxed-closure-region.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-sugar-default.rs
unboxed-closure-sugar-default.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-sugar-equiv.rs
unboxed-closure-sugar-equiv.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-sugar-lifetime-elision.rs
unboxed-closure-sugar-lifetime-elision.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-sugar-not-used-on-fn.rs
unboxed-closure-sugar-not-used-on-fn.stderr Bless tests 2024-01-13 12:46:58 -05:00
unboxed-closure-sugar-region.rs make type_flags(ReError) & HAS_ERROR 2024-03-20 17:29:58 +00:00
unboxed-closure-sugar-region.stderr make type_flags(ReError) & HAS_ERROR 2024-03-20 17:29:58 +00:00
unboxed-closure-sugar-used-on-struct-1.rs
unboxed-closure-sugar-used-on-struct-1.stderr
unboxed-closure-sugar-used-on-struct-3.rs
unboxed-closure-sugar-used-on-struct-3.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-sugar-used-on-struct.rs
unboxed-closure-sugar-used-on-struct.stderr
unboxed-closure-sugar-wrong-number-number-type-parameters-1.rs print const and type errors in braces not square brackets 2023-05-26 16:01:29 +01:00
unboxed-closure-sugar-wrong-number-number-type-parameters-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closure-sugar-wrong-number-number-type-parameters-3.rs
unboxed-closure-sugar-wrong-number-number-type-parameters-3.stderr print const and type errors in braces not square brackets 2023-05-26 16:01:29 +01:00
unboxed-closure-sugar-wrong-number-number-type-parameters.rs Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
unboxed-closure-sugar-wrong-number-number-type-parameters.stderr Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
unboxed-closure-sugar-wrong-trait.rs
unboxed-closure-sugar-wrong-trait.stderr
unboxed-closures-all-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-blanket-fn-mut.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-blanket-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-borrow-conflict.rs
unboxed-closures-borrow-conflict.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-boxed.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-by-ref.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-call-fn-autoderef.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-call-sugar-autoderef.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-call-sugar-object-autoderef.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-call-sugar-object.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-counter-not-moved.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-counter-not-moved.stderr
unboxed-closures-cross-crate.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-direct-sugary-call.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-drop.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-extern-fn-hr.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-extern-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-failed-recursive-fn-1.rs
unboxed-closures-failed-recursive-fn-1.stderr
unboxed-closures-failed-recursive-fn-2.rs
unboxed-closures-failed-recursive-fn-2.stderr Use fn ptr signature instead of {closure@..} in infer error 2024-04-10 00:41:27 +00:00
unboxed-closures-fn-as-fnmut-and-fnonce.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-fnmut-as-fn.rs
unboxed-closures-fnmut-as-fn.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-fnmut-as-fnonce.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-generic.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-arg-types-from-expected-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-arg-types-from-expected-object-type.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-arg-types-w-bound-regs-from-expected-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-argument-types-two-region-pointers.rs
unboxed-closures-infer-argument-types-two-region-pointers.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-infer-explicit-call-early.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-fn-once-move-from-projection.rs
unboxed-closures-infer-fn-once-move-from-projection.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-infer-fnmut-calling-fnmut-no-mut.rs
unboxed-closures-infer-fnmut-calling-fnmut-no-mut.stderr
unboxed-closures-infer-fnmut-calling-fnmut.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-fnmut-missing-mut.rs
unboxed-closures-infer-fnmut-missing-mut.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-infer-fnmut-move-missing-mut.rs
unboxed-closures-infer-fnmut-move-missing-mut.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-infer-fnmut-move.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-fnmut.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-fnonce-call-twice.rs
unboxed-closures-infer-fnonce-call-twice.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-infer-fnonce-move-call-twice.rs
unboxed-closures-infer-fnonce-move-call-twice.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-infer-fnonce-move.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-fnonce.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-kind.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-recursive-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-infer-upvar.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-manual-impl.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-monomorphization.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-move-from-projection-issue-30046.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-move-mutable.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-move-mutable.stderr
unboxed-closures-move-some-upvars-in-by-ref-closure.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-mutate-upvar.rs
unboxed-closures-mutate-upvar.stderr
unboxed-closures-mutated-upvar-from-fn-closure.rs
unboxed-closures-mutated-upvar-from-fn-closure.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-prelude.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-recursive-fn-using-fn-mut.rs
unboxed-closures-recursive-fn-using-fn-mut.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-simple.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-single-word-env.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-static-call-fn-once.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-static-call-wrong-trait.rs
unboxed-closures-static-call-wrong-trait.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unboxed-closures-sugar-object.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-type-mismatch-closure-from-another-scope.rs On type error involving closure, avoid ICE 2023-10-12 23:29:02 +00:00
unboxed-closures-type-mismatch-closure-from-another-scope.stderr Don't suggest deref macro since it's unstable 2024-03-21 11:42:49 -04:00
unboxed-closures-type-mismatch.rs On type error of closure call argument, point at earlier calls that affected inference 2023-09-28 22:04:15 +00:00
unboxed-closures-type-mismatch.stderr On type error of closure call argument, point at earlier calls that affected inference 2023-09-28 22:04:15 +00:00
unboxed-closures-unique-type-id.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unboxed-closures-unsafe-extern-fn.rs
unboxed-closures-unsafe-extern-fn.stderr Pretty print Fn traits in rustc_on_unimplemented 2023-11-02 20:57:05 +00:00
unboxed-closures-wrong-abi.rs
unboxed-closures-wrong-abi.stderr Pretty print Fn traits in rustc_on_unimplemented 2023-11-02 20:57:05 +00:00
unboxed-closures-wrong-arg-type-extern-fn.rs
unboxed-closures-wrong-arg-type-extern-fn.stderr Pretty print Fn traits in rustc_on_unimplemented 2023-11-02 20:57:05 +00:00
unboxed-closures-zero-args.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00