Function check_linear_types

pub fn check_linear_types(
    inputs: &[(Loc<NameID>, Loc<TypeSpec>)],
    body: &Loc<Expression>,
    type_state: &TypeState,
    symtab: &SymbolTable,
    types: &TypeList,
) -> Result<()>

Checks for linear type errors in a function-like. Reports errors if an linear type is not used exactly once