Function vstd::prelude::opens_invariants_none

pub fn opens_invariants_none()