AeneasVerif

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• Bug: char literals are extracted to Lean without escaping

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

  AeneasVerif/aeneas#1467 · Abierto el 19/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

  AeneasVerif/aeneas#1463 · Abierto el 16/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  AeneasVerif/aeneas#1462 · Abierto el 16/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 22/100

  AeneasVerif/aeneas#1459 · Abierto el 16/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1458 · Abierto el 16/10/2026

  Los mantenedores suelen responder en 1 día

• Bug: Missing backwards function in Lean backend with iterators

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 5/5 Más de una semana Aptitud para principiantes 22/100

  AeneasVerif/aeneas#1437 · Abierto el 14/10/2026

  Los mantenedores suelen responder en 1 día

• Bug: Uncaught exception: `CFailure`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1435 · 1 comentario · Abierto el 13/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 18/100

  AeneasVerif/aeneas#1418 · Abierto el 12/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1411 · 1 comentario · Abierto el 9/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  AeneasVerif/aeneas#1410 · Abierto el 9/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

  AeneasVerif/aeneas#1409 · Abierto el 9/10/2026

  Los mantenedores suelen responder en 1 día

• Bug: elabDoMatch: duplicate binder

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1406 · Abierto el 8/10/2026

  Los mantenedores suelen responder en 1 día

• Support typed copies

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 12/100

  AeneasVerif/aeneas#1405 · 1 comentario · Abierto el 8/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 22/100

  AeneasVerif/aeneas#1399 · Abierto el 5/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1450 · 5 comentarios · Abierto el 5/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1395 · Abierto el 3/10/2026

  Los mantenedores suelen responder en 1 día

• Feature request: Translate inline asm using Kraken

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1396 · 3 comentarios · Abierto el 3/10/2026

  Los mantenedores suelen responder en 1 día

• Isabelle/HOL backend: contribution proposal

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 8/100

  AeneasVerif/aeneas#1389 · Abierto el 1/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100

  AeneasVerif/aeneas#1387 · Abierto el 1/10/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1375 · Abierto el 27/9/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1370 · Abierto el 26/9/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1369 · Abierto el 26/9/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1368 · Abierto el 26/9/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 1-2 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1367 · Abierto el 26/9/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 Medio día Aptitud para principiantes 62/100

  AeneasVerif/aeneas#1366 · 1 comentario · Abierto el 26/9/2026

  Los mantenedores suelen responder en 1 día

• Bug: error when matching contexts

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  AeneasVerif/aeneas#1349 · Abierto el 16/9/2026

  Los mantenedores suelen responder en 1 día

• 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)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1343 · Abierto el 10/9/2026

  Los mantenedores suelen responder en 1 día

• Docs: Documentation still recommends deprecated `#setup_aeneas_simps`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

  AeneasVerif/aeneas#1324 · Abierto el 30/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1323 · 1 reacción · Abierto el 30/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 34/100

  AeneasVerif/aeneas#1319 · Abierto el 28/8/2026

  Los mantenedores suelen responder en 1 día

• Improve documentation (discoverability?) for beginners

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  AeneasVerif/aeneas#1295 · 5 reacciones · Abierto el 24/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 18/100

  AeneasVerif/aeneas#1282 · Abierto el 21/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1281 · Abierto el 21/8/2026

  Los mantenedores suelen responder en 1 día

• Bug: Comparisons are emitted as Prop

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1279 · Abierto el 21/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

  AeneasVerif/aeneas#1275 · Abierto el 20/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 18/100

  AeneasVerif/aeneas#1266 · Abierto el 15/8/2026

  Los mantenedores suelen responder en 1 día

• Feature request: `async`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 12/100

  AeneasVerif/aeneas#1265 · Abierto el 15/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  AeneasVerif/aeneas#1264 · 1 comentario · Abierto el 15/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1253 · 1 comentario · Abierto el 11/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 22/100

  AeneasVerif/aeneas#1252 · Abierto el 11/8/2026

  Los mantenedores suelen responder en 1 día

• Bug: ` u8 as char` fails to translate

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 Medio día Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1251 · Abierto el 10/8/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  AeneasVerif/aeneas#1243 · Abierto el 31/7/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  AeneasVerif/aeneas#1242 · 1 comentario · Abierto el 31/7/2026

  Los mantenedores suelen responder en 1 día

• 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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 40/100

  AeneasVerif/aeneas#1241 · 1 comentario · Abierto el 31/7/2026

  Los mantenedores suelen responder en 1 día

• 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`)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 32/100

  AeneasVerif/aeneas#1239 · 1 comentario · Abierto el 31/7/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 5/5 Más de una semana Aptitud para principiantes 12/100

  AeneasVerif/aeneas#1234 · Abierto el 27/7/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

  AeneasVerif/aeneas#1233 · Abierto el 27/7/2026

  Los mantenedores suelen responder en 1 día

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  AeneasVerif/aeneas#1231 · Abierto el 25/7/2026

  Los mantenedores suelen responder en 1 día

• Feature request: Full support for Higher ranked trait bounds

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement translation

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  AeneasVerif/aeneas#1227 · 2 comentarios · Abierto el 23/7/2026

  Los mantenedores suelen responder en 1 día

• Merge the `Error` variants

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  AeneasVerif/aeneas#1225 · 18 comentarios · 1 reacción · Abierto el 20/7/2026

  Los mantenedores suelen responder en 1 día