Function vstd::prelude::requires

pub fn requires<A>(_a: A)