inferred-type