pub fn maybe_null(resolve: &Resolve, ty: &Type) -> bool