Code <div class="highlight highlight-source-rust notranslate position-relative o

Output with the PR linked above: <div class="snippet-clipboard-content notranslate

Nonsensical suggested type using chumsky select! (E0284) about rust HOT 4 OPEN

schrottkatze commented on July 1, 2024

Nonsensical suggested type using chumsky select! (E0284)

from rust.

Comments (4)

compiler-errors commented on July 1, 2024

Try updating your nightly compiler and checking if it's still like that? You're using a nightly compiler from January.

from rust.

estebank commented on July 1, 2024

To second compiler-errors' comment, I know that there was a change in this suggestion sometime in the past month.

Edit: nevermind

rust/compiler/rustc_infer/src/infer/error_reporting/need_type_info.rs

Lines 226 to 227 in b376f49

 // FIXME: The same thing for closures, but this only works when the closure 

 // does not capture anything.

from rust.

estebank commented on July 1, 2024

Output with the PR linked above:

error[E0284]: type annotations needed for `Select<{[email protected]: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! {
   |                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

We still need a minimal repro to add a test to the test suite.

from rust.

estebank commented on July 1, 2024

Needs test.

from rust.

Recommend Projects