• I tried using the @types/react-redux@6.0.14 -> 7.1.1 package and had problems.
• I tried using the latest stable version of tsc. https://www.npmjs.com/package/typescript
• Mention the authors (see Definitions by: in index.d.ts) so they can respond.
  • Authors: @tkqubo @kenzierocks @clayne11 @tansongyang @NicholasBoll @mDibyo @Kallikrein @val1984 @jrakotoharisoa @apapirovski @surgeboris @soerenbf @MrWolfZ

If you do not mention the authors the issue will be ignored.

I can't pinpoint the commit / change that introduced the regression, just the version. Versions after 7.0.1 will seemingly allow any props, even ones with the wrong type.

Repro:

import React from 'react'
import { connect } from 'react-redux'

interface Props {
  title: string
}

const Example = (props: Props) => <div>{props.title}</div>
const ExampleConnected = connect()(Example)

const ThisShouldNotCompile = () => (
  <div>
    {/* This errors, as it should. */}
    <Example />
    {/* Yet this happily compiles. */}
    <ExampleConnected />
  </div>
)

Versions before 7.0.2 will show an error for both elements in ThisShouldNotCompile.