Merge pull request #9701 from github/redsun82/swift-final-resolve

Swift: make `Element::resolve` final

Author: redsun82

swift/codegen/templates/ql_class.mustache

@@ -14,7 +14,7 @@ class {{name}}Base extends {{db_id}}{{#bases}}, {{.}}{{/bases}} {
 
   {{name}}Base getResolveStep() { none() } // overridden by subclasses
 
-  {{name}}Base resolve() {
+  final {{name}}Base resolve() {
     not exists(getResolveStep()) and result = this
     or
     result = getResolveStep().resolve()

swift/ql/lib/codeql/swift/generated/Element.qll

@@ -8,7 +8,7 @@ class ElementBase extends @element {
 
   ElementBase getResolveStep() { none() } // overridden by subclasses
 
-  ElementBase resolve() {
+  final ElementBase resolve() {
     not exists(getResolveStep()) and result = this
     or
     result = getResolveStep().resolve()