editors - remove ugly cast

src/vs/workbench/common/editor.ts

@@ -346,7 +346,7 @@ export interface IRevertOptions {
 }
 
 export interface IMoveResult {
-	editor: IEditorInput | IResourceEditor;
+	editor: EditorInput | IResourceEditor;
 	options?: IEditorOptions;
 }
 

src/vs/workbench/services/editor/browser/editorService.ts

@@ -277,7 +277,7 @@ export class EditorService extends Disposable implements EditorServiceImpl {
 						replacement: {
 							...moveResult.editor,
 							options: {
-								...(moveResult.editor as IResourceEditor /* TS fail */).options,
+								...moveResult.editor.options,
 								...optionOverrides
 							}
 						}