Skip to main content

compute_module_ufcs

lisette_semantics::call_classification

Function compute_module_ufcs 

Source 
pub fn compute_module_ufcs(
    module: &Module,
    module_id: &str,
) -> Vec<(String, String)>
Expand description

Compute UFCS methods for a single module’s types.

Three conditions (any one suffices):

  1. Extra type params: method’s Forall vars exceed base type’s generics count
  2. Specialized receiver: receiver’s type constructor params contain concrete types
  3. Mixed impl blocks: type has both bounded and unbounded impl blocks