Implement a check when float-only operations are used

Feature

Implement a new check that emits an error when the following conditions are met:

1. A name is typed as builtins.float
2. No runtime cast (the_name = float(the_name)) on that name is done
3. A float-only attribute (like builtins.float.hex) on that name is used

This can also be extended for when the builtins.complex.__complex__ attribute (or other complex-only attributes) is used on a builtins.complex-typed name without a runtime cast.

Pitch

This document explains the whole problem.

L’issue non indica file, test o punti di ingresso; inizia dal documento collegato sul problema float/complex e segui la gestione degli attributi riservati a float nel type checker. Il lavoro è completato quando viene emesso un errore per il caso indicato di un float non sottoposto a cast, mentre l’estensione di complex va affrontata solo se supportata.