pub trait TypeResolutionContext {
fn property_ty(&self, _: &PropertyReference) -> &Type;
fn arg_type(&self, _index: usize) -> &Type { ... }
}
pub trait TypeResolutionContext {
fn property_ty(&self, _: &PropertyReference) -> &Type;
fn arg_type(&self, _index: usize) -> &Type { ... }
}