Should have unspecified nullness like for Java void/ Void (see related check here).