Lack of inference is usually not considered a soundness issue.

		pas on Oct 28, 2018 \| parent \| context \| favorite \| on: Fear, trust and JavaScript: When types and functio... Lack of inference is usually not considered a soundness issue.