Type inference limitations for Typescript

type_compatibility.ts

class TypeOne {
  public one
  private two
  private three
}

class TypeTwo {
  public one
}

// Calling a function that requests TypeTwo with a value of TypeOne works
function thisWorks(value: TypeTwo) { return "Worked!" }
thisWorks(new TypeOne())

// Calling a function that requests TypeOne with a value of TypeTwo results in a compile error
function thisFails(value: TypeOne) { return "Failed!" }
thisFails(new TypeTwo())