diff --git a/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in-and-out.src.ts b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in-and-out.src.ts
new file mode 100644
index 00000000000..ee58a11cfc3
--- /dev/null
+++ b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in-and-out.src.ts
@@ -0,0 +1 @@
+type Mapper<in T, out U> = (x: T) => U;
diff --git a/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in-out.src.ts b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in-out.src.ts
new file mode 100644
index 00000000000..1dd6ace1261
--- /dev/null
+++ b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in-out.src.ts
@@ -0,0 +1 @@
+type Processor<in out T> = (x: T) => T;
diff --git a/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in.src.ts b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in.src.ts
new file mode 100644
index 00000000000..3cb911e9c26
--- /dev/null
+++ b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-in.src.ts
@@ -0,0 +1 @@
+type Consumer<in T> = (x: T) => void;
diff --git a/packages/shared-fixtures/fixtures/typescript/types/optional-variance-out.src.ts b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-out.src.ts
new file mode 100644
index 00000000000..dd9dd201249
--- /dev/null
+++ b/packages/shared-fixtures/fixtures/typescript/types/optional-variance-out.src.ts
@@ -0,0 +1 @@
+type Provider<out T> = () => T;
diff --git a/packages/typescript-estree/tests/ast-alignment/fixtures-to-test.ts b/packages/typescript-estree/tests/ast-alignment/fixtures-to-test.ts
index 5f44161557c..ca9e0e688a5 100644
--- a/packages/typescript-estree/tests/ast-alignment/fixtures-to-test.ts
+++ b/packages/typescript-estree/tests/ast-alignment/fixtures-to-test.ts
@@ -484,6 +484,14 @@ tester.addFixturePatternConfig('typescript/types', {
     'template-literal-type-2',
     'template-literal-type-3',
     'template-literal-type-4',
+    /**
+     * [BABEL ERRORED, BUT TS-ESTREE DID NOT]
+     * Babel doesn't support TS 4.7 new features yet.
+     */
+    'optional-variance-in',
+    'optional-variance-out',
+    'optional-variance-in-out',
+    'optional-variance-in-and-out',
   ],
 });