Issues

• Name lookup after requires clause different/broken

  efcs/llvm-project#11 · Filter by author dascandy opened on Nov 10, 2025

• Function preconditions and postconditions do not propagate across module boundaries and crash the compiler

  efcs/llvm-project#8 · Filter by author Stef-2 opened on Jun 17, 2025

• Template with explicit instantiation causes constructor precondition to fail

  efcs/llvm-project#6 · Filter by author PeterBindels-TomTom opened on Oct 14, 2024
  2

• Postconditions specified more than once always cause compile error

  efcs/llvm-project#5 · Filter by author PeterBindels-TomTom opened on Oct 14, 2024
  3

• Postconditions on floating point types always fail

  efcs/llvm-project#4 · Filter by author PeterBindels-TomTom opened on Oct 14, 2024
  1