Code

POC: Make ensuring inline#1624

Code

Draft

mbovel wants to merge 2 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom mbovel:mb/inline-static-checksmbovel/stainless:mb/inline-static-checksCopy head branch name to clipboard

+89-17

Commits

Commits on Dec 12, 2024

• POC: Make ensuring inline

  mbovel

  committed
  fa18858

Commits on Dec 13, 2024

• Partially fix ExInlinedCall

  mbovel

  committed
  7224d8c