Fluent Python: Clear, Concise, and Effective Programming

by Luciano Ramalho

A bounded type variable will be set to the inferred type of the expression—as long as the inferred type is consistent-with the boundary declared in the bound= keyword argument of TypeVar.