}
#[allow(dead_code)]
-fn test_variance() {
+fn assert_covariance() {
fn map_key<'new>(v: BTreeMap<&'static str, ()>) -> BTreeMap<&'new str, ()> {
v
}
}
#[allow(dead_code)]
-fn test_sync() {
+fn assert_sync() {
fn map<T: Sync>(v: &BTreeMap<T, T>) -> impl Sync + '_ {
v
}
}
#[allow(dead_code)]
-fn test_send() {
+fn assert_send() {
fn map<T: Send>(v: BTreeMap<T, T>) -> impl Send {
v
}
}
#[allow(dead_code)]
-fn test_variance() {
+fn assert_covariance() {
fn set<'new>(v: BTreeSet<&'static str>) -> BTreeSet<&'new str> {
v
}
}
#[allow(dead_code)]
-fn test_sync() {
+fn assert_sync() {
fn set<T: Sync>(v: &BTreeSet<T>) -> impl Sync + '_ {
v
}
}
#[allow(dead_code)]
-fn test_send() {
+fn assert_send() {
fn set<T: Send>(v: BTreeSet<T>) -> impl Send {
v
}