Skip to content

Adapting to interpretation of (x:T) now activating scope for T if any.#199

Merged
proux01 merged 1 commit intomasterfrom master+adapting-cast-using-scope-bound-to-typeOct 5, 2023
+36-36

Commits

Commits on Sep 26, 2023