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 {
35993599 abort ();
36003600 }
36013601
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-
36243602 Type checkExceptionTypeExists (const char *where) {
36253603 if (!Ctx.getErrorDecl ()) {
36263604 Out << " exception type does not exist in " << where << " \n " ;
You can’t perform that action at this time.
0 commit comments