File tree Expand file tree Collapse file tree 1 file changed +0
-22
lines changed Expand file tree Collapse file tree 1 file changed +0
-22
lines changed Original file line number Diff line number Diff line change @@ -3599,28 +3599,6 @@ class Verifier : public ASTWalker {
3599
3599
abort ();
3600
3600
}
3601
3601
3602
- void checkSameOrSubType (Type T0, Type T1, const char *what) {
3603
- if (T0->isEqual (T1))
3604
- return ;
3605
-
3606
- // Protocol subtyping.
3607
- if (auto Proto0 = T0->getAs <ProtocolType>())
3608
- if (auto Proto1 = T1->getAs <ProtocolType>())
3609
- if (Proto0->getDecl ()->inheritsFrom (Proto1->getDecl ()))
3610
- return ;
3611
-
3612
- // FIXME: Actually check this?
3613
- if (T0->isExistentialType () || T1->isExistentialType ())
3614
- return ;
3615
-
3616
- Out << " incompatible types for " << what << " : " ;
3617
- T0.print (Out);
3618
- Out << " vs. " ;
3619
- T1.print (Out);
3620
- Out << " \n " ;
3621
- abort ();
3622
- }
3623
-
3624
3602
Type checkExceptionTypeExists (const char *where) {
3625
3603
if (!Ctx.getErrorDecl ()) {
3626
3604
Out << " exception type does not exist in " << where << " \n " ;
You can’t perform that action at this time.
0 commit comments