diff --git a/tests/baselines/reference/omitTypeTestErrors01.errors.txt b/tests/baselines/reference/omitTypeTestErrors01.errors.txt
new file mode 100644
index 0000000000000..a66ab384b8935
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTestErrors01.errors.txt
@@ -0,0 +1,27 @@
+tests/cases/compiler/omitTypeTestErrors01.ts(11,16): error TS2339: Property 'c' does not exist on type 'Pick<Foo, "a" | "b">'.
+tests/cases/compiler/omitTypeTestErrors01.ts(15,16): error TS2339: Property 'b' does not exist on type 'Pick<Foo, "a">'.
+
+
+==== tests/cases/compiler/omitTypeTestErrors01.ts (2 errors) ====
+    interface Foo {
+        a: string;
+        b: number;
+        c: boolean;
+    }
+    
+    export type Bar = Omit<Foo, "c">;
+    export type Baz = Omit<Foo, "b" | "c">;
+    
+    export function getBarC(bar: Bar) {
+        return bar.c;
+                   ~
+!!! error TS2339: Property 'c' does not exist on type 'Pick<Foo, "a" | "b">'.
+    }
+    
+    export function getBazB(baz: Baz) {
+        return baz.b;
+                   ~
+!!! error TS2339: Property 'b' does not exist on type 'Pick<Foo, "a">'.
+    }
+    
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/omitTypeTestErrors01.js b/tests/baselines/reference/omitTypeTestErrors01.js
new file mode 100644
index 0000000000000..03f1f5cc6b7b6
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTestErrors01.js
@@ -0,0 +1,44 @@
+//// [omitTypeTestErrors01.ts]
+interface Foo {
+    a: string;
+    b: number;
+    c: boolean;
+}
+
+export type Bar = Omit<Foo, "c">;
+export type Baz = Omit<Foo, "b" | "c">;
+
+export function getBarC(bar: Bar) {
+    return bar.c;
+}
+
+export function getBazB(baz: Baz) {
+    return baz.b;
+}
+
+
+
+//// [omitTypeTestErrors01.js]
+"use strict";
+exports.__esModule = true;
+function getBarC(bar) {
+    return bar.c;
+}
+exports.getBarC = getBarC;
+function getBazB(baz) {
+    return baz.b;
+}
+exports.getBazB = getBazB;
+
+
+//// [omitTypeTestErrors01.d.ts]
+interface Foo {
+    a: string;
+    b: number;
+    c: boolean;
+}
+export declare type Bar = Omit<Foo, "c">;
+export declare type Baz = Omit<Foo, "b" | "c">;
+export declare function getBarC(bar: Bar): any;
+export declare function getBazB(baz: Baz): any;
+export {};
diff --git a/tests/baselines/reference/omitTypeTestErrors01.symbols b/tests/baselines/reference/omitTypeTestErrors01.symbols
new file mode 100644
index 0000000000000..b913e20de4f93
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTestErrors01.symbols
@@ -0,0 +1,43 @@
+=== tests/cases/compiler/omitTypeTestErrors01.ts ===
+interface Foo {
+>Foo : Symbol(Foo, Decl(omitTypeTestErrors01.ts, 0, 0))
+
+    a: string;
+>a : Symbol(Foo.a, Decl(omitTypeTestErrors01.ts, 0, 15))
+
+    b: number;
+>b : Symbol(Foo.b, Decl(omitTypeTestErrors01.ts, 1, 14))
+
+    c: boolean;
+>c : Symbol(Foo.c, Decl(omitTypeTestErrors01.ts, 2, 14))
+}
+
+export type Bar = Omit<Foo, "c">;
+>Bar : Symbol(Bar, Decl(omitTypeTestErrors01.ts, 4, 1))
+>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
+>Foo : Symbol(Foo, Decl(omitTypeTestErrors01.ts, 0, 0))
+
+export type Baz = Omit<Foo, "b" | "c">;
+>Baz : Symbol(Baz, Decl(omitTypeTestErrors01.ts, 6, 33))
+>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
+>Foo : Symbol(Foo, Decl(omitTypeTestErrors01.ts, 0, 0))
+
+export function getBarC(bar: Bar) {
+>getBarC : Symbol(getBarC, Decl(omitTypeTestErrors01.ts, 7, 39))
+>bar : Symbol(bar, Decl(omitTypeTestErrors01.ts, 9, 24))
+>Bar : Symbol(Bar, Decl(omitTypeTestErrors01.ts, 4, 1))
+
+    return bar.c;
+>bar : Symbol(bar, Decl(omitTypeTestErrors01.ts, 9, 24))
+}
+
+export function getBazB(baz: Baz) {
+>getBazB : Symbol(getBazB, Decl(omitTypeTestErrors01.ts, 11, 1))
+>baz : Symbol(baz, Decl(omitTypeTestErrors01.ts, 13, 24))
+>Baz : Symbol(Baz, Decl(omitTypeTestErrors01.ts, 6, 33))
+
+    return baz.b;
+>baz : Symbol(baz, Decl(omitTypeTestErrors01.ts, 13, 24))
+}
+
+
diff --git a/tests/baselines/reference/omitTypeTestErrors01.types b/tests/baselines/reference/omitTypeTestErrors01.types
new file mode 100644
index 0000000000000..e7282016868d6
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTestErrors01.types
@@ -0,0 +1,39 @@
+=== tests/cases/compiler/omitTypeTestErrors01.ts ===
+interface Foo {
+    a: string;
+>a : string
+
+    b: number;
+>b : number
+
+    c: boolean;
+>c : boolean
+}
+
+export type Bar = Omit<Foo, "c">;
+>Bar : Pick<Foo, "a" | "b">
+
+export type Baz = Omit<Foo, "b" | "c">;
+>Baz : Pick<Foo, "a">
+
+export function getBarC(bar: Bar) {
+>getBarC : (bar: Pick<Foo, "a" | "b">) => any
+>bar : Pick<Foo, "a" | "b">
+
+    return bar.c;
+>bar.c : any
+>bar : Pick<Foo, "a" | "b">
+>c : any
+}
+
+export function getBazB(baz: Baz) {
+>getBazB : (baz: Pick<Foo, "a">) => any
+>baz : Pick<Foo, "a">
+
+    return baz.b;
+>baz.b : any
+>baz : Pick<Foo, "a">
+>b : any
+}
+
+
diff --git a/tests/baselines/reference/omitTypeTests01.js b/tests/baselines/reference/omitTypeTests01.js
new file mode 100644
index 0000000000000..af244b8b02b39
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTests01.js
@@ -0,0 +1,44 @@
+//// [omitTypeTests01.ts]
+interface Foo {
+    a: string;
+    b: number;
+    c: boolean;
+}
+
+export type Bar = Omit<Foo, "c">;
+export type Baz = Omit<Foo, "b" | "c">;
+
+export function getBarA(bar: Bar) {
+    return bar.a;
+}
+
+export function getBazA(baz: Baz) {
+    return baz.a;
+}
+
+
+
+//// [omitTypeTests01.js]
+"use strict";
+exports.__esModule = true;
+function getBarA(bar) {
+    return bar.a;
+}
+exports.getBarA = getBarA;
+function getBazA(baz) {
+    return baz.a;
+}
+exports.getBazA = getBazA;
+
+
+//// [omitTypeTests01.d.ts]
+interface Foo {
+    a: string;
+    b: number;
+    c: boolean;
+}
+export declare type Bar = Omit<Foo, "c">;
+export declare type Baz = Omit<Foo, "b" | "c">;
+export declare function getBarA(bar: Bar): string;
+export declare function getBazA(baz: Baz): string;
+export {};
diff --git a/tests/baselines/reference/omitTypeTests01.symbols b/tests/baselines/reference/omitTypeTests01.symbols
new file mode 100644
index 0000000000000..d614f65daff03
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTests01.symbols
@@ -0,0 +1,47 @@
+=== tests/cases/compiler/omitTypeTests01.ts ===
+interface Foo {
+>Foo : Symbol(Foo, Decl(omitTypeTests01.ts, 0, 0))
+
+    a: string;
+>a : Symbol(Foo.a, Decl(omitTypeTests01.ts, 0, 15))
+
+    b: number;
+>b : Symbol(Foo.b, Decl(omitTypeTests01.ts, 1, 14))
+
+    c: boolean;
+>c : Symbol(Foo.c, Decl(omitTypeTests01.ts, 2, 14))
+}
+
+export type Bar = Omit<Foo, "c">;
+>Bar : Symbol(Bar, Decl(omitTypeTests01.ts, 4, 1))
+>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
+>Foo : Symbol(Foo, Decl(omitTypeTests01.ts, 0, 0))
+
+export type Baz = Omit<Foo, "b" | "c">;
+>Baz : Symbol(Baz, Decl(omitTypeTests01.ts, 6, 33))
+>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
+>Foo : Symbol(Foo, Decl(omitTypeTests01.ts, 0, 0))
+
+export function getBarA(bar: Bar) {
+>getBarA : Symbol(getBarA, Decl(omitTypeTests01.ts, 7, 39))
+>bar : Symbol(bar, Decl(omitTypeTests01.ts, 9, 24))
+>Bar : Symbol(Bar, Decl(omitTypeTests01.ts, 4, 1))
+
+    return bar.a;
+>bar.a : Symbol(a, Decl(omitTypeTests01.ts, 0, 15))
+>bar : Symbol(bar, Decl(omitTypeTests01.ts, 9, 24))
+>a : Symbol(a, Decl(omitTypeTests01.ts, 0, 15))
+}
+
+export function getBazA(baz: Baz) {
+>getBazA : Symbol(getBazA, Decl(omitTypeTests01.ts, 11, 1))
+>baz : Symbol(baz, Decl(omitTypeTests01.ts, 13, 24))
+>Baz : Symbol(Baz, Decl(omitTypeTests01.ts, 6, 33))
+
+    return baz.a;
+>baz.a : Symbol(a, Decl(omitTypeTests01.ts, 0, 15))
+>baz : Symbol(baz, Decl(omitTypeTests01.ts, 13, 24))
+>a : Symbol(a, Decl(omitTypeTests01.ts, 0, 15))
+}
+
+
diff --git a/tests/baselines/reference/omitTypeTests01.types b/tests/baselines/reference/omitTypeTests01.types
new file mode 100644
index 0000000000000..c07894ee2dcf6
--- /dev/null
+++ b/tests/baselines/reference/omitTypeTests01.types
@@ -0,0 +1,39 @@
+=== tests/cases/compiler/omitTypeTests01.ts ===
+interface Foo {
+    a: string;
+>a : string
+
+    b: number;
+>b : number
+
+    c: boolean;
+>c : boolean
+}
+
+export type Bar = Omit<Foo, "c">;
+>Bar : Pick<Foo, "a" | "b">
+
+export type Baz = Omit<Foo, "b" | "c">;
+>Baz : Pick<Foo, "a">
+
+export function getBarA(bar: Bar) {
+>getBarA : (bar: Pick<Foo, "a" | "b">) => string
+>bar : Pick<Foo, "a" | "b">
+
+    return bar.a;
+>bar.a : string
+>bar : Pick<Foo, "a" | "b">
+>a : string
+}
+
+export function getBazA(baz: Baz) {
+>getBazA : (baz: Pick<Foo, "a">) => string
+>baz : Pick<Foo, "a">
+
+    return baz.a;
+>baz.a : string
+>baz : Pick<Foo, "a">
+>a : string
+}
+
+