Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Use level "note" for reveal_type and reveal_locals #6919
ilevkivskyi left a comment
In principle I like this change (you can also indent revealed locals as discussed in the issue). But this is changes huge amount of tests, so I think this requires approval from most of core team members.