diff --git a/docs/src/demos/Experiments/Linter/extension/LinterPlugin.ts b/docs/src/demos/Experiments/Linter/extension/LinterPlugin.ts
index 46fc867ac..809c66015 100644
--- a/docs/src/demos/Experiments/Linter/extension/LinterPlugin.ts
+++ b/docs/src/demos/Experiments/Linter/extension/LinterPlugin.ts
@@ -1,8 +1,14 @@
-// @ts-nocheck
+interface Result {
+  message: string,
+  from: number,
+  to: number,
+  fix?: null
+}
+
 export default class LinterPlugin {
   protected doc
 
-  private results = []
+  private results: Array<Result> = []
 
   constructor(doc: any) {
     this.doc = doc