Skip to content

Add types for newtype constructors. Fixes #1870#1871

Merged
yav merged 2 commits intomasterfrom fix_1870May 23, 2023