File tree Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -3994,17 +3994,16 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
39943994 }
39953995 }
39963996
3997- void verifyCheckedCast (bool isExact, SILType fromTy, SILType toTy,
3998- bool isOpaque = false ) {
3997+ void verifyCheckedCast (bool isExact, SILType fromTy, SILType toTy) {
39993998 // Verify common invariants.
40003999 require (fromTy.isObject () && toTy.isObject (),
40014000 " value checked cast src and dest must be objects" );
40024001
40034002 auto fromCanTy = fromTy.getASTType ();
40044003 auto toCanTy = toTy.getASTType ();
40054004
4006- require (isOpaque || canUseScalarCheckedCastInstructions (F.getModule (),
4007- fromCanTy, toCanTy),
4005+ require (canUseScalarCheckedCastInstructions (F.getModule (),
4006+ fromCanTy, toCanTy),
40084007 " invalid value checked cast src or dest types" );
40094008
40104009 // Peel off metatypes. If two types are checked-cast-able, so are their
You can’t perform that action at this time.
0 commit comments