I wish there was a config to error when a inferred type is either Any or Unknown so we can spot these locations. The report has it, but seeing it in the IDE would be great