Enforce unstable APIs can only be used if the related feature is enabled#2386

Merged

celinval merged 9 commits intomodel-checking:mainfrom celinval:issue-2279-unstable-api

May 2, 2023

+442-17

Commits on Apr 18, 2023

Commits on Apr 25, 2023

Apply suggestions from code review

authored

Commits on Apr 27, 2023

Commits on May 2, 2023