WTF with GIT?

three times in a row! I've already removed this Sub constructor from
typing, but git silently returns it.
Merge remote-tracking branch 'origin/master'
added type for user declarations, renamed index to dim.