On Sat, 16 Oct 2021 at 18:01, Steven D'Aprano <[email protected]> wrote: > > On Sat, Oct 16, 2021 at 02:49:42PM +0100, Paul Moore wrote: > > > I'd be more likely to just remove the types (the type checking > > equivalent of `#noqa` when you don't agree with what your style > > checker says). > > Type annotations are still useful to the human reader, even if the type > checker is absent or wrong. > > I presume that mypy does support some "skip this" directive? If not, it > should.
My impression (from the projects I've worked on using typing) was that it didn't. But I checked and I was wrong: `# type: ignore` does exactly that. Paul _______________________________________________ Python-ideas mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/YLGIGKYKNMCKWFHGLONT7L4R67DDH7MX/ Code of Conduct: http://python.org/psf/codeofconduct/
