diff --git a/src/rules/strictTypePredicatesRule.ts b/src/rules/strictTypePredicatesRule.ts
new file mode 100644
index 00000000000..8dbe8da5f68
--- /dev/null
+++ b/src/rules/strictTypePredicatesRule.ts
@@ -0,0 +1,280 @@
+/**
+ * @license
+ * Copyright 2017 Palantir Technologies, Inc.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import * as ts from "typescript";
+import * as Lint from "../index";
+
+// tslint:disable:no-bitwise
+
+export class Rule extends Lint.Rules.TypedRule {
+    /* tslint:disable:object-literal-sort-keys */
+    public static metadata: Lint.IRuleMetadata = {
+        ruleName: "strict-type-predicates",
+        description: Lint.Utils.dedent`
+            Warns for type predicates that are always true or always false.
+            Works for 'typeof' comparisons to constants (e.g. 'typeof foo === "string"'), and equality comparison to 'null'/'undefined'.
+            (TypeScript won't let you compare '1 === 2', but it has an exception for '1 === undefined'.)
+            Does not yet work for 'instanceof'.
+            Does *not* warn for 'if (x.y)' where 'x.y' is always truthy. For that, see strict-boolean-expressions.`,
+        optionsDescription: "Not configurable.",
+        options: null,
+        optionExamples: ["true"],
+        type: "functionality",
+        typescriptOnly: true,
+        requiresTypeInfo: true,
+    };
+    /* tslint:enable:object-literal-sort-keys */
+
+    public static FAILURE_STRING_BAD_TYPEOF = "Bad comparison for 'typeof'.";
+
+    public static FAILURE_STRING(value: boolean): string {
+        return `Expression is always ${value}.`;
+    }
+
+    public static FAILURE_STRICT_PREFER_STRICT_EQUALS(value: "null" | "undefined", isPositive: boolean) {
+        return `Use '${isPositive ? "===" : "!=="} ${value}' instead.`;
+    }
+
+    public applyWithProgram(srcFile: ts.SourceFile, langSvc: ts.LanguageService): Lint.RuleFailure[] {
+        return this.applyWithWalker(new Walker(srcFile, this.getOptions(), langSvc.getProgram()));
+    }
+}
+
+class Walker extends Lint.ProgramAwareRuleWalker {
+    public visitBinaryExpression(node: ts.BinaryExpression) {
+        const equals = getEquals(node.operatorToken.kind);
+        if (equals) {
+            this.checkEquals(node, equals);
+        }
+        super.visitBinaryExpression(node);
+    }
+
+    private checkEquals(node: ts.BinaryExpression, { isStrict, isPositive }: Equals) {
+        const exprPred = getTypePredicate(node, isStrict);
+        if (!exprPred) {
+            return;
+        }
+
+        const fail = (failure: string) => this.addFailureAtNode(node, failure);
+
+        if (exprPred.kind === TypePredicateKind.TypeofTypo) {
+            fail(Rule.FAILURE_STRING_BAD_TYPEOF);
+            return;
+        }
+
+        const checker = this.getTypeChecker();
+        const exprType = checker.getTypeAtLocation(exprPred.expression);
+        // TODO: could use checker.getBaseConstraintOfType to help with type parameters, but it's not publicly exposed.
+        if (Lint.isTypeFlagSet(exprType, ts.TypeFlags.Any | ts.TypeFlags.TypeParameter)) {
+            return;
+        }
+
+        switch (exprPred.kind) { // tslint:disable-line:switch-default
+            case TypePredicateKind.Plain:
+                const { predicate, isNullOrUndefined } = exprPred;
+                const value = getConstantBoolean(exprType, predicate);
+                // 'null'/'undefined' are the only two values *not* assignable to '{}'.
+                if (value !== undefined && (isNullOrUndefined || !isEmptyType(checker, exprType))) {
+                    fail(Rule.FAILURE_STRING(value === isPositive));
+                }
+                break;
+
+            case TypePredicateKind.NonStructNullUndefined:
+                const result = testNonStrictNullUndefined(exprType);
+                switch (typeof result) {
+                    case "boolean":
+                        fail(Rule.FAILURE_STRING(result === isPositive));
+                        break;
+
+                    case "string":
+                        fail(Rule.FAILURE_STRICT_PREFER_STRICT_EQUALS(result as "null" | "undefined", isPositive));
+                        break;
+
+                    default:
+                }
+        }
+
+    }
+}
+
+/** Detects a type predicate given `left === right`. */
+function getTypePredicate(node: ts.BinaryExpression, isStrictEquals: boolean): TypePredicate | undefined {
+    const { left, right } = node;
+    return getTypePredicateOneWay(left, right, isStrictEquals) || getTypePredicateOneWay(right, left, isStrictEquals);
+}
+
+/** Only gets the type predicate if the expression is on the left. */
+function getTypePredicateOneWay(left: ts.Expression, right: ts.Expression, isStrictEquals: boolean): TypePredicate | undefined {
+    switch (right.kind) {
+        case ts.SyntaxKind.TypeOfExpression:
+            const expression = (right as ts.TypeOfExpression).expression;
+            const kind = left.kind === ts.SyntaxKind.StringLiteral ? (left as ts.StringLiteral).text : "";
+            const predicate = getTypePredicateForKind(kind);
+            return predicate === undefined
+                ? { kind: TypePredicateKind.TypeofTypo }
+                : { kind: TypePredicateKind.Plain, expression, predicate, isNullOrUndefined: kind === "undefined" };
+
+        case ts.SyntaxKind.NullKeyword:
+            return nullOrUndefined(ts.TypeFlags.Null);
+
+        case ts.SyntaxKind.Identifier:
+            if ((right as ts.Identifier).text === "undefined") {
+                return nullOrUndefined(undefinedFlags);
+            }
+
+        default:
+            return undefined;
+    }
+
+    function nullOrUndefined(flags: ts.TypeFlags): TypePredicate {
+        return isStrictEquals
+            ? { kind: TypePredicateKind.Plain, expression: left, predicate: flagPredicate(flags), isNullOrUndefined: true }
+            : { kind: TypePredicateKind.NonStructNullUndefined, expression: left };
+    }
+}
+
+function isEmptyType(checker: ts.TypeChecker, type: ts.Type) {
+    return checker.typeToString(type) === "{}";
+}
+
+const undefinedFlags = ts.TypeFlags.Undefined | ts.TypeFlags.Void;
+
+type TypePredicate = PlainTypePredicate | NonStrictNullUndefinedPredicate | { kind: TypePredicateKind.TypeofTypo };
+interface PlainTypePredicate {
+    kind: TypePredicateKind.Plain;
+    expression: ts.Expression;
+    predicate: Predicate;
+    isNullOrUndefined: boolean;
+}
+/** For `== null` and the like. */
+interface NonStrictNullUndefinedPredicate {
+    kind: TypePredicateKind.NonStructNullUndefined;
+    expression: ts.Expression;
+}
+const enum TypePredicateKind {
+    Plain,
+    NonStructNullUndefined,
+    TypeofTypo,
+}
+
+type Predicate = (type: ts.Type) => boolean;
+
+function getTypePredicateForKind(kind: string): Predicate | undefined {
+    switch (kind) {
+        case "undefined":
+            return flagPredicate(undefinedFlags);
+        case "boolean":
+            return flagPredicate(ts.TypeFlags.BooleanLike);
+        case "number":
+            return flagPredicate(ts.TypeFlags.NumberLike);
+        case "string":
+            return flagPredicate(ts.TypeFlags.StringLike);
+        case "symbol":
+            return flagPredicate(ts.TypeFlags.ESSymbol);
+        case "function":
+            return isFunction;
+        case "object":
+            // It's an object if it's not any of the above.
+            const allFlags = ts.TypeFlags.Undefined | ts.TypeFlags.Void | ts.TypeFlags.BooleanLike |
+                ts.TypeFlags.NumberLike | ts.TypeFlags.StringLike | ts.TypeFlags.ESSymbol;
+            return (type) => !Lint.isTypeFlagSet(type, allFlags) && !isFunction(type);
+        default:
+            return undefined;
+    }
+}
+
+function flagPredicate(testedFlag: ts.TypeFlags): Predicate {
+    return (type) => Lint.isTypeFlagSet(type, testedFlag);
+}
+
+function isFunction(t: ts.Type): boolean {
+    if (t.getCallSignatures().length !== 0) {
+        return true;
+    }
+    const symbol = t.getSymbol();
+    return (symbol && symbol.getName()) === "Function";
+}
+
+/** Returns a boolean value if that should always be the result of a type predicate. */
+function getConstantBoolean(type: ts.Type, predicate: (t: ts.Type) => boolean): boolean | undefined {
+    let anyTrue = false;
+    let anyFalse = false;
+    for (const ty of unionParts(type)) {
+        if (predicate(ty)) {
+            anyTrue = true;
+        } else {
+            anyFalse = true;
+        }
+
+        if (anyTrue && anyFalse) {
+            return undefined;
+        }
+    }
+
+    return anyTrue;
+}
+
+/** Returns bool for always/never true, or a string to recommend strict equality. */
+function testNonStrictNullUndefined(type: ts.Type): boolean | string | undefined {
+    let anyNull = false;
+    let anyUndefined = false;
+    let anyOther = false;
+    for (const ty of unionParts(type)) {
+        if (Lint.isTypeFlagSet(ty, ts.TypeFlags.Null)) {
+            anyNull = true;
+        } else if (Lint.isTypeFlagSet(ty, undefinedFlags)) {
+            anyUndefined = true;
+        } else {
+            anyOther = true;
+        }
+    }
+
+    return !anyOther ? true
+        : anyNull && anyUndefined ? undefined
+        : anyNull ? "null"
+        : anyUndefined ? "undefined"
+        : false;
+}
+
+interface Equals {
+    isPositive: boolean; // True for "===" and "=="
+    isStrict: boolean; // True for "===" and "!=="
+}
+
+function getEquals(kind: ts.SyntaxKind): Equals | undefined {
+    switch (kind) {
+        case ts.SyntaxKind.EqualsEqualsToken:
+            return { isPositive: true, isStrict: false };
+        case ts.SyntaxKind.EqualsEqualsEqualsToken:
+            return { isPositive: true, isStrict: true };
+        case ts.SyntaxKind.ExclamationEqualsToken:
+            return { isPositive: false, isStrict: false };
+        case ts.SyntaxKind.ExclamationEqualsEqualsToken:
+            return { isPositive: false, isStrict: true };
+        default:
+            return undefined;
+    }
+}
+
+function unionParts(type: ts.Type) {
+    return isUnionType(type) ? type.types : [type];
+}
+
+/** Type predicate to test for a union type. */
+function isUnionType(type: ts.Type): type is ts.UnionType {
+    return Lint.isTypeFlagSet(type, ts.TypeFlags.Union);
+}
diff --git a/test/rules/strict-type-predicates/test.ts.lint b/test/rules/strict-type-predicates/test.ts.lint
new file mode 100644
index 00000000000..fd834651874
--- /dev/null
+++ b/test/rules/strict-type-predicates/test.ts.lint
@@ -0,0 +1,186 @@
+declare function get<T>(): T;
+
+// typeof undefined
+{
+    typeof get<boolean>() === "undefined";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    typeof get<void>() === "undefined";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    typeof get<boolean | undefined>() === "undefined";
+
+    declare const c: any;
+    typeof get<any>() === "undefined";
+
+    // 'undefined' is not assignable to '{}'
+    typeof get<{}>() === "undefined";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+}
+
+// typeof boolean
+{
+    declare const a: boolean;
+    typeof get<boolean>() === "boolean";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    typeof get<Boolean>() === "boolean";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    typeof get<boolean | undefined>() === "boolean";
+
+    typeof get<{}>() === "boolean";
+}
+
+// typeof number
+{
+    enum E {}
+
+    typeof get<E>() === "number";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    typeof get<Number>() === "number";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+}
+
+// typeof string
+{
+    typeof get<"abc" | "def">() === "string";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    typeof get<String>() === "string";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    typeof get<"abc" | undefined>() === "string";
+}
+
+// typeof symbol
+{
+    typeof get<symbol>() === "symbol";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    typeof get<string>() === "symbol";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    typeof get<symbol | string>() === "symbol";
+}
+
+// typeof function
+{
+    typeof get<() => void>() === "function";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    typeof get<Function>() === "function";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+
+    typeof get<number>() === "function";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    typeof get<number | (() => void)>() === "function";
+}
+
+// typeof object
+{
+    typeof get<boolean | number | string | symbol | (() => void) | Function>() === "object";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    typeof get<{}> === "object";
+}
+
+// === null / undefined
+{
+    get<number | undefined>() === null;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    get<number | null>() === null;
+
+    get<number | null>() === undefined;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    get<number | undefined>() === undefined;
+
+    // 'null' and 'undefined' are not assignable to '{}'
+
+    get<{}>() === null;
+    ~~~~~~~~~~~~~~~~~~ [F]
+
+    get<{}>() === undefined;
+    ~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    get<string | undefined>() == null;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== undefined' instead.]
+
+    get<string | null>() == undefined;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== null' instead.]
+
+    get<string | null>() == null;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== null' instead.]
+
+    get<string | undefined>() == undefined;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== undefined' instead.]
+
+    get<string | undefined>() != null;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '!== undefined' instead.]
+
+    get<{}>() == null;
+    ~~~~~~~~~~~~~~~~~ [F]
+
+    get<string | null | undefined>() == null;
+    get<string | null | undefined>() != undefined;
+
+    get<null|undefined>() == null;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+    get<null|undefined>() != undefined;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+}
+
+// negation
+{
+    get<number | undefined>() !== null;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    get<number | null>() !== null;
+
+    get<number | null>() !== undefined;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+
+    get<number | undefined>() !== undefined;
+
+    typeof get<string>() !== "string";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+}
+
+// reverse left/right
+{
+    "string" === typeof get<number>();
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [F]
+
+    undefined === get<void>();
+    ~~~~~~~~~~~~~~~~~~~~~~~~~ [T]
+}
+
+// type parameters
+{
+    function f<T>(t: T) {
+        typeof t === "boolean";
+    }
+
+    // TODO: Would be nice to catch this.
+    function g<T extends string>(t: T) {
+        typeof t === "boolean";
+    }
+}
+
+// Detects bad typeof
+{
+    typeof get<boolean>() === true;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [typeof]
+
+    typeof get<any>() === "orbject";
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [typeof]
+}
+
+[T]: Expression is always true.
+[F]: Expression is always false.
+[typeof]: Bad comparison for 'typeof'.
diff --git a/test/rules/strict-type-predicates/tsconfig.json b/test/rules/strict-type-predicates/tsconfig.json
new file mode 100644
index 00000000000..1cc3bc85ee9
--- /dev/null
+++ b/test/rules/strict-type-predicates/tsconfig.json
@@ -0,0 +1,5 @@
+{
+    "compilerOptions": {
+        "strictNullChecks": true
+    }
+}
\ No newline at end of file
diff --git a/test/rules/strict-type-predicates/tslint.json b/test/rules/strict-type-predicates/tslint.json
new file mode 100644
index 00000000000..268b470e4be
--- /dev/null
+++ b/test/rules/strict-type-predicates/tslint.json
@@ -0,0 +1,8 @@
+{
+  "linterOptions": {
+    "typeCheck": true
+  },
+  "rules": {
+    "strict-type-predicates": true
+  }
+}