nullable: type, compile and test 'as(not null)'