fn add_constraints_from_vstore(&mut self,
                                   vstore: ty::vstore,
                                   variance: VarianceTermPtr<'a>) {
        match vstore {
            ty::vstore_slice(r) => {
                let contra = self.contravariant(variance);
                self.add_constraints_from_region(r, contra);
            }

            ty::vstore_fixed(_) | ty::vstore_uniq | ty::vstore_box => {
            }
        }
    }
/// Adds constraints appropriate for a vector with vstore `vstore`
/// appearing in a context with ambient variance `variance`
Adds constraints appropriate for a vector with vstore `vstore`
appearing in a context with ambient variance `variance`
Adds constraints appropriate for a vector with vstore ` vstore ` appearing in a context with ambient variance ` variance `
fn add_constraints_from_vstore(&mut self,
                                   vstore: ty::vstore,
                                   variance: VarianceTermPtr<'a>) {
        match vstore {
            ty::vstore_slice(r) => {
                let contra = self.contravariant(variance);
                self.add_constraints_from_region(r, contra);
            }
            ty::vstore_fixed(_) | ty::vstore_uniq | ty::vstore_box => {
            }
        }
    }
fn add_constraints_from_vstore ( & mut self , vstore : ty :: vstore , variance : VarianceTermPtr < ' a > ) { match vstore { ty :: vstore_slice ( r ) => { let contra = self . contravariant ( variance ) ; self . add_constraints_from_region ( r , contra ) ; } ty :: vstore_fixed ( _ ) | ty :: vstore_uniq | ty :: vstore_box => { } } }
Adds constraints appropriate for a vector with vstore `vstore`
appearing in a context with ambient variance `variance`
Adds constraints appropriate for a vector with vstore ` vstore ` appearing in a context with ambient variance ` variance `
&mut self
vstore
ty::vstore
variance
VarianceTermPtr<'a>
&mut self
vstore
ty::vstore
variance
VarianceTermPtr<'a>