When operator - has a type assert for the return type, the linter declares the two arguments “Missing References” (orange under-wriggle in the screenshot):
