nitc :: AAsNotnullExpr :: make
private init make(n_expr: AExpr, t: nullable MType) do init_aasnotnullexpr(n_expr, new TKwas, null, new TKwnot, new TKwnull, null) _mtype = t if t != null then _is_typed = true end