Closure parameter type inference documentation: SAM type coercion