1 use crate::grammar::parse_tree::{self, Lifetime, TypeParameter};
12     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter>;  in free_variables()  argument
19 fn free_type(type_parameters: &[TypeParameter], id: &Atom) -> Vec<TypeParameter> {  in free_type()  argument
20     let tp = TypeParameter::Id(id.clone());  in free_type()
30 fn free_lifetime(type_parameters: &[TypeParameter], lt: &Lifetime) -> Vec<TypeParameter> {  in free_lifetime()  argument
31     let tp = TypeParameter::Lifetime(lt.clone());  in free_lifetime()
40     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
49     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
57     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
72                 .map(|id| TypeParameter::Lifetime(id.clone()))  in free_variables()
99     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
117     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
130     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
140     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
143                 iter::once(TypeParameter::Lifetime(lifetime.clone()))  in free_variables()
144                     .chain(bounds.iter().map(|l| TypeParameter::Lifetime(l.clone())))  in free_variables()
159     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument
162             parse_tree::TypeBoundParameter::TypeParameter(t) => t.free_variables(type_parameters),  in free_variables()
169     fn free_variables(&self, type_parameters: &[TypeParameter]) -> Vec<TypeParameter> {  in free_variables()  argument