Add nullability annotation on parameter

Open lerno opened this issue 3 years ago • 1 comments

Maybe "[in?]"? And [in] is by default non null.

Aug 29 '22 06:08 lerno

/**
 * @param [out?] f
 **/
fn void bar(Foo* f)
{
   f.x = 123; // Should be an error, f isn't tested
}

Aug 29 '22 07:08 lerno

Implemented as [&out]

Mar 07 '23 10:03 lerno