diff --git a/compiler/testData/lazyResolve/diagnostics/Builders.txt b/compiler/testData/lazyResolve/diagnostics/Builders.txt
index 05feb86ab96..493b4d40cca 100644
--- a/compiler/testData/lazyResolve/diagnostics/Builders.txt
+++ b/compiler/testData/lazyResolve/diagnostics/Builders.txt
@@ -16,7 +16,7 @@ internal final class html.A : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal final class html.B : html.BodyTag {
@@ -31,7 +31,7 @@ internal final class html.B : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal final class html.Body : html.BodyTag {
@@ -46,7 +46,7 @@ internal final class html.Body : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal abstract class html.BodyTag : html.TagWithText {
@@ -61,7 +61,7 @@ internal abstract class html.BodyTag : html.TagWithText {
     internal final override /*1*/ val name: jet.String
     internal final fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal abstract trait html.Element : jet.Any {
@@ -79,7 +79,7 @@ internal final class html.H1 : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal final class html.HTML : html.TagWithText {
@@ -92,7 +92,7 @@ internal final class html.HTML : html.TagWithText {
     internal final override /*1*/ fun jet.String.plus(): jet.Tuple0
     internal final override /*1*/ val name: jet.String
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
 }
 internal final class html.Head : html.TagWithText {
     public final /*constructor*/ fun <init>(): html.Head
@@ -102,7 +102,7 @@ internal final class html.Head : html.TagWithText {
     internal final override /*1*/ fun jet.String.plus(): jet.Tuple0
     internal final override /*1*/ val name: jet.String
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final fun title(/*0*/ init: jet.ExtensionFunction0<html.Title, jet.Tuple0>): html.Title
 }
 internal final class html.LI : html.BodyTag {
@@ -117,7 +117,7 @@ internal final class html.LI : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal final class html.P : html.BodyTag {
@@ -132,7 +132,7 @@ internal final class html.P : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal abstract class html.Tag : html.Element {
@@ -152,7 +152,7 @@ internal abstract class html.TagWithText : html.Tag {
     internal final fun jet.String.plus(): jet.Tuple0
     internal final override /*1*/ val name: jet.String
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
 }
 internal final class html.TextElement : html.Element {
     public final /*constructor*/ fun <init>(/*0*/ text: jet.String): html.TextElement
@@ -167,7 +167,7 @@ internal final class html.Title : html.TagWithText {
     internal final override /*1*/ fun jet.String.plus(): jet.Tuple0
     internal final override /*1*/ val name: jet.String
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
 }
 internal final class html.UL : html.BodyTag {
     public final /*constructor*/ fun <init>(): html.UL
@@ -182,7 +182,7 @@ internal final class html.UL : html.BodyTag {
     internal final override /*1*/ val name: jet.String
     internal final override /*1*/ fun p(/*0*/ init: jet.ExtensionFunction0<html.P, jet.Tuple0>): html.P
     internal open override /*1*/ fun render(/*0*/ builder: java.lang.StringBuilder, /*1*/ indent: jet.String): jet.Tuple0
-    invisible_fake final override /*1*/ fun renderAttributes(): jet.String?
+    invisible_fake abstract override /*1*/ fun renderAttributes(): jet.String?
     internal final override /*1*/ fun ul(/*0*/ init: jet.ExtensionFunction0<html.UL, jet.Tuple0>): html.UL
 }
 internal final fun html(/*0*/ init: jet.ExtensionFunction0<html.HTML, jet.Tuple0>): html.HTML