Function requires_annotation 

pub fn requires_annotation(
    kind: DeclarationKind,
    index: usize,
    param: &TypedParam,
) -> bool

Whether this parameter must carry an explicit type.

A default value does not exempt a parameter: options = nil still leaves every other shape a caller may pass unchecked. self in an impl or interface method is exempt because the enclosing header already names its type.