Function vstd::prelude::opens_invariants_any

pub fn opens_invariants_any()