const LINE_WINDOW: u64 = 50;Expand description
Two tagged claims about one function agree only when their lines are at most this far apart. A function rarely spans more lines, so the window keeps apart functions with one name in one file, such as overloads or functions of two contracts, but not two lines of one function.