tree 4863611c11f5f6900876f63bd04548459626512a
parent 1240a3180d474f064791686602e324fe683a0645
author Mazdak Farrokhzad <twingoow@gmail.com> 1579628878 +0100
committer Mazdak Farrokhzad <twingoow@gmail.com> 1579628878 +0100

typeck: remove redundant diverges check