An update: in 35.10 the red squigglies seem to be gone, but the type information is not available in the affected files:
