test.dart

class Parent {
}

class Child extends Parent {
}

typedef void F(Parent arg);

void _f(Child a){
}

class TestClass {
  final F f;
  TestClass(this.f);
}

void main(){
  var x = new TestClass(_f);
  assert(_f is F);
}