Search results

disallow contracts on defaulted functions

Status: Open.

#56 In NinaRanns/gcc;

· NinaRanns opened on Oct 1, 2025

client-side wrappers should not be weak even if the callee is.

Status: Open.

#55 In NinaRanns/gcc;

· iains opened on Sep 24, 2025

Errors with client side checks

Status: Open.

#48 In NinaRanns/gcc;

· NinaRanns opened on Aug 12, 2025

Deferred contracts const check

Status: Open.

#41 In NinaRanns/gcc;

· NinaRanns opened on Jul 25, 2025

Deffered contracts and redeclarations

Status: Open.

#40 In NinaRanns/gcc;

· NinaRanns opened on Jul 25, 2025

Improving diagnostic for redeclaration that is a definition

Status: Open.

#39 In NinaRanns/gcc;

· NinaRanns opened on Jul 25, 2025

Handling of post conditions in functions with place-holder return types

Status: Open.

#32 In NinaRanns/gcc;

· iains opened on May 28, 2025

Ensure that parse-time contract param remaps are constrained.

Status: Open.

#31 In NinaRanns/gcc;

· iains opened on May 28, 2025

P3653 inheritance - part 2

Status: Open.

#28 In NinaRanns/gcc;

· NinaRanns opened on Apr 11, 2025

Lambda : can't use captured entities inside the contract assertion's lambda body

Status: Open.

#20 In NinaRanns/gcc;

· NinaRanns opened on Mar 6, 2025

Lambda : parsing of lambda fails with a return value identifier

Status: Open.

#19 In NinaRanns/gcc;

· NinaRanns opened on Mar 6, 2025

Using data member inside a lambda from a contract fails

Status: Open.

#16 In NinaRanns/gcc;

· iains opened on Nov 4, 2024