AeneasVerif

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

• Bug: `Unreachable` on `&mut` to an opaque type with a mutable region

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1473 · Aperta il 22/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Uncaught `Invalid_argument "Can't get the list of fields of this adt"` when code builds a variant of an opaque enum

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

  AeneasVerif/aeneas#1463 · Aperta il 16/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: `There should be no bottoms in the value` on `if true { panic!() }`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

  AeneasVerif/aeneas#1462 · Aperta il 16/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Internal error in `simplify_loop_output_conts` when code after a loop reads one field of a tuple loop variable

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100

  AeneasVerif/aeneas#1459 · Aperta il 16/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Lean backend: references to crate-level items lose the crate prefix and can resolve to a same-named definition in a module

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1458 · Aperta il 16/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Missing backwards function in Lean backend with iterators

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 22/100

  AeneasVerif/aeneas#1437 · Aperta il 14/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Uncaught exception: `CFailure`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1435 · 1 commento · Aperta il 13/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Model for `core::num::NonZero`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100

  AeneasVerif/aeneas#1418 · Aperta il 12/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Lean backend emits namespace references captured by structure fields and local binders

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1411 · 1 commento · Aperta il 9/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: user `Drop` impls never run, so a destructor's effect is silently lost

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  AeneasVerif/aeneas#1410 · Aperta il 9/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: `<[T]>::contains` model calls `eq(needle, element)`, but core calls `eq(element, needle)`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100

  AeneasVerif/aeneas#1409 · Aperta il 9/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: elabDoMatch: duplicate binder

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1406 · Aperta il 8/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Support typed copies

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 12/100

  AeneasVerif/aeneas#1405 · 1 commento · Aperta il 8/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Internal error in `InterpMatchCtxs` when joining loop contexts over non-opaque wrapper holding borrow

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100

  AeneasVerif/aeneas#1399 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: `[CONST; N]` repeat of a non-`Copy` type

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1450 · 5 commenti · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: fieldless enum variant written into an array is translated as `()` when a later loop borrows the array

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1395 · Aperta il 3/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Feature request: Translate inline asm using Kraken

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1396 · 3 commenti · Aperta il 3/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Isabelle/HOL backend: contribution proposal

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 8/100

  AeneasVerif/aeneas#1389 · Aperta il 1/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Formulate specs for unsigned integers in terms of `Int` instead of `Nat`?

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 18/100

  AeneasVerif/aeneas#1387 · Aperta il 1/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: uncaught `CFailure` in `PrePasses.update_array_default` when an impl's trait is removed by Charon's `--exclude`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1375 · Aperta il 27/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: `vec![x]` requires an unused external type `core::mem::maybe_uninit::MaybeUninit`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1370 · Aperta il 26/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: internal error at `InterpReduceCollapse.ml:1137` on `if let Some(x) = slice.get(i)` inside a loop

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1369 · Aperta il 26/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: internal error at `InterpMatchCtxs.ml:230` when joining contexts that hold a struct of borrowed slices

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1368 · Aperta il 26/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: no `partial_fixpoint` monotonicity lemma for `loop`, so recursion through a loop does not elaborate

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 1-2 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1367 · Aperta il 26/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: `@[discriminant]` instances are declared in the root namespace and clash across extractions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 Mezza giornata Idoneità per principianti 62/100

  AeneasVerif/aeneas#1366 · 1 commento · Aperta il 26/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: error when matching contexts

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  AeneasVerif/aeneas#1349 · Aperta il 16/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Lean backend: type-decl holding a `Box<dyn Iterator>` field is refused with "Dynamic trait types are not supported yet" — minimal repro (charon translates it fine)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1343 · Aperta il 10/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Docs: Documentation still recommends deprecated `#setup_aeneas_simps`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100

  AeneasVerif/aeneas#1324 · Aperta il 30/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Nested items within anonymous const items (const `_`) generate invalid Lean identifiers

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1323 · 1 reazione · Aperta il 30/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Internal error (Interp.ml:609) on `<[T]>::get` inside a loop

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 34/100

  AeneasVerif/aeneas#1319 · Aperta il 28/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Improve documentation (discoverability?) for beginners

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  AeneasVerif/aeneas#1295 · 5 reazioni · Aperta il 24/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Could not match the contexts` on a loop

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100

  AeneasVerif/aeneas#1282 · Aperta il 21/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: A generic struct whose field mentions one instantiation of itself produces an invalid `mutual inductive`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1281 · Aperta il 21/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Comparisons are emitted as Prop

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1279 · Aperta il 21/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: `IScalar.rem` is falsely modeled as non-panicking for MIN % (-1)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

  AeneasVerif/aeneas#1275 · Aperta il 20/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Closure returning reference argument fails with non-endable abstraction

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100

  AeneasVerif/aeneas#1266 · Aperta il 15/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Feature request: `async`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 12/100

  AeneasVerif/aeneas#1265 · Aperta il 15/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Feature request: Add support for mutually recursive functions and trait implementations

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  AeneasVerif/aeneas#1264 · 1 commento · Aperta il 15/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Matching an indexed `enum` value fails during expansion

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1253 · 1 commento · Aperta il 11/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Distinct lifetimes in `Option<&T>::as_ref()` trigger internal error

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100

  AeneasVerif/aeneas#1252 · Aperta il 11/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: ` u8 as char` fails to translate

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 Mezza giornata Idoneità per principianti 45/100

  AeneasVerif/aeneas#1251 · Aperta il 10/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Lean backend emits a `sorry`-named structure with error-hole fields for the dyn-compatible trait `digest::DynDigest` instead of failing cleanly

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

  AeneasVerif/aeneas#1243 · Aperta il 31/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Items depending on a failed-to-translate derived impl are still emitted, producing ill-typed Lean with dangling identifiers and inline `sorry /- ERROR: ... -/` bodies

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

  AeneasVerif/aeneas#1242 · 1 commento · Aperta il 31/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Uncaught `Not_found` in `extract_function_call` (Extract.ml) when a called trait method's declaration is missing — partially written output files are left on disk

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 40/100

  AeneasVerif/aeneas#1241 · 1 commento · Aperta il 31/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Uncaught `Not_found` in `ty_has_mut_borrow_for_region_in_pred` (TypesUtils.ml) when translating functions generic over a large trait-clause web with outlives predicates (arkworks `Pairing`)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 32/100

  AeneasVerif/aeneas#1239 · 1 commento · Aperta il 31/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: Nested borrows: selecting a `&'static [u8]` constant by match, and the single-variant case silently folds

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 12/100

  AeneasVerif/aeneas#1234 · Aperta il 27/7/2026

  I maintainer di solito rispondono entro 1 giorno

• scalar_tac does not see through the *.rMax / *.rMin constants (no scalar_tac_simps equations)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100

  AeneasVerif/aeneas#1233 · Aperta il 27/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug: A Rust struct field named `mk` collides with the generated Lean constructor and breaks the whole file

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  AeneasVerif/aeneas#1231 · Aperta il 25/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Feature request: Full support for Higher ranked trait bounds

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement translation

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  AeneasVerif/aeneas#1227 · 2 commenti · Aperta il 23/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Merge the `Error` variants

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  AeneasVerif/aeneas#1225 · 18 commenti · 1 reazione · Aperta il 20/7/2026

  I maintainer di solito rispondono entro 1 giorno