gleam-lang/gleam

Type inference issue expected Test(a) but found Test(a)

Open

#2.550 aberto em 17 de jan. de 2024

Ver no GitHub
 (3 comments) (0 reactions) (0 assignees)Rust (960 forks)batch import
help wantedhigh priority

Métricas do repositório

Stars
 (21.417 stars)
Métricas de merge de PR
 (Mesclagem média 10d 19h) (69 fundiu PRs em 30d)

Description

type Test(a) {
  Test(a)
}
fn it(value: Test(a)) {
  it2(value)
}
fn it2(value: Test(a)) -> Test(a) {
  it(value)
}

Gives this error on the test2 call

Type mismatch

The type of this returned value doesn't match the return type
annotation of this function.

Expected type:

    Test(a)

Found type:

    Test(a)

Similar issue #1893

Guia do colaborador