Repository navigation

Remove contract system support for RETURN/RETVAL/POSTCONDITION - #126610

Closed

jkoritzinsky wants to merge 8 commits into

dotnet:mainfrom

jkoritzinsky:remove-postcondition-return

Commits on Apr 6, 2026
- Remove POSTCONDITION usages and convert RETURN macro to return keyword
  
  jkoritzinsky
  and
  Copilot
  committed
  73880b1
Commits on Apr 7, 2026
- Remove POSTCONDITION and RETURN macro infrastructure
  jkoritzinsky
  committed
  4b7b1f0
- Remove tautological and unnecessary asserts from POSTCONDITION conversion
  jkoritzinsky
  committed
  77fde5c
- Address code review findings
  jkoritzinsky
  committed
  989a182
- Clean up some asserts a little better than before
  jkoritzinsky
  committed
  97139e7
- Make manual adjustments to POSTCONDITION removal
  jkoritzinsky
  committed
  2765a3f
- Remove CONSTRUCTOR_CHECK and INSTANCE_CHECK_NULL macros
  jkoritzinsky
  committed
  2ca7ba7
- Address PR feedback: fix assert guards and OOM path
  jkoritzinsky
  committed
  2d226ac