Is it possible to mark a property of a parameter as null/not null after a function returns?

Question

If I have a function bool Foo(string? input), then I can annotate it to indicate that if the return is true then input is not null: