786         assert(tf->ty == Tfunction);  in evaluateConstraint()
939             assert(fd->type->ty == Tfunction);  in matchWithInstance()
957                 assert(fd->type->ty != Tfunction);  in matchWithInstance()
960             assert(fd->type->ty == Tfunction);  in matchWithInstance()
2396                 if (fd->type->ty != Tfunction)  in functionResolve()
2444                 if (f->type->ty != Tfunction || f->errors)  in functionResolve()
2498                     assert(tf1->ty == Tfunction);  in functionResolve()
2500                     assert(tf2->ty == Tfunction);  in functionResolve()
2614         assert(tf->ty == Tfunction);  in functionResolve()
2660     assert(fd->type->ty == Tfunction);  in doHeaderInstantiation()
2719     if (fd->type->ty != Tfunction)  in doHeaderInstantiation()
3538             if (tparam && tparam->ty == Tfunction)  in deduceType()
4424                 if (!to->nextOf() || to->nextOf()->ty != Tfunction)  in deduceType()
6274             if (tf && tf->ty == Tfunction)  in semantic()
7236             fd->type->ty != Tfunction)  in needsTypeInference()