gleamunison/ability_inference

Shared ability-call argument checking. Kept apart from general inference: an operation’s output is not evidence that its arguments were admitted.

pub fn check_args(
  args: List(ast.Term),
  inputs: List(ast.Type),
  cache: types.TypeCache,
  infer: fn(ast.Term, types.TypeCache) -> Result(
    ast.Type,
    types.InferenceError,
  ),
) -> Result(Nil, types.InferenceError)