Module generic 

Functions

build_class_bindings

Build template bindings from a receiver’s concrete type params.

check_template_bounds

Check that each binding satisfies the template’s declared bound. Returns a list of (template_name, inferred_type, bound) for violations.

infer_template_bindings

Infer template parameter bindings by matching parameter types against argument types.