related #154 I met a NoMethodError but the method is actually defined by an extension. A repository to reproduce is here https://github.com/pocke/steep-random-error In this repository, steep check ...