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

Métriques du dépôt

Stars

21 417 stars (21 417 stars)

Métriques de merge PR

Merge moyen 10j 19h (Merge moyen 10j 19h)69 PRs mergées en 30 j (69 PRs mergées en 30 j)

Description

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

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)

Guide contributeur

Direction de recherche

Examinez la logique d'unification des types dans le compilateur Gleam. Concentrez vous sur la facon dont les variables de type sont comparees et pourquoi des types generiques identiques comme Test(a) sont signales comme incompatibles. Verifiez le traitement des definitions de types recursifs et le controle d'egalite pour les parametres generiques.

Stack technique

rust

Domaine

compilers

Type d'issue

Bug

DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.

3

Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.

Une demi journée

Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.

Active

ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.

Claire

Prérequis

RustGleam

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

50