dart - ダーツプロキシオブジェクトは、型付き変数に割り当てることができますか?

Question

次のテストコードがあります。

@proxy
class A{
  noSuchMethod(Invocation inv) => "no problems";
}

class B{
  String get aString => "I'm a B string";
}

void main() {
  B b = new A();
  print(b.aString);
}

プロキシに関するAPIサイトで読んだことから、実行時にTypeErrorを取得せずにプロキシを何かに割り当てても問題ないと思いましたが、ここではそうではありません。TypeErrors をスローせずにプロキシを何かに割り当てることができない場合、プロキシに本質的に必要なものを実装させることのポイントは何ですか。ドキュメントでは、プロキシを任意の変数型に割り当てることは静的型エラーではないと述べています。