Workaround for exhaustivness bug in dart2js (#123242)

Workaround for exhaustiveness bug in dart2js
This commit is contained in:
Michael Goderbauer 2023-03-22 14:45:19 -07:00 committed by GitHub
parent fda9ecfef7
commit f68a676353
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -444,6 +444,9 @@ abstract class FocusTraversalPolicy with Diagnosticable {
case TraversalEdgeBehavior.closedLoop:
_focusAndEnsureVisible(sortedNodes.first, alignmentPolicy: ScrollPositionAlignmentPolicy.keepVisibleAtEnd);
return true;
// TODO(goderbauer): Remove this hack once exhaustiveness bug is fixed, https://github.com/flutter/flutter/issues/123243.
default: // ignore: no_default_cases
throw UnsupportedError('unreachable');
}
}
if (!forward && focusedChild == sortedNodes.first) {
@ -454,6 +457,9 @@ abstract class FocusTraversalPolicy with Diagnosticable {
case TraversalEdgeBehavior.closedLoop:
_focusAndEnsureVisible(sortedNodes.last, alignmentPolicy: ScrollPositionAlignmentPolicy.keepVisibleAtStart);
return true;
// TODO(goderbauer): Remove this hack once exhaustiveness bug is fixed, https://github.com/flutter/flutter/issues/123243.
default: // ignore: no_default_cases
throw UnsupportedError('unreachable');
}
}