TypeScriptで配列をfindした時に型変換が出来ない

Question

下記URLをクリックでエラーを再現できます。
http://www.typescriptlang.org/play?略

type A = {type:"A"};
type B = {type:"B"};
type C = (A|B) & {ext:true};
const val :C[] = [{type:"A",ext:true},{type:"B",ext:true}];
const r1:B = val.find((a):a is B=>a.type == "B")!;//ここでエラー

5行目の、val配列をfindで絞ってBに型変換したいです。
この書き方ですと変数r1は{type:"B",ext:true}になり、型Bの条件を問題なく満たしているのですが、何故エラーになるのでしょうか？

extという型Bに無い余計なプロパティがある事については、以下がエラー無く通るので問題は無いはずです。

type A2 = {type:"A"};
type B2 = {type:"A",ext:true};
const x2 : B2= {type:"A",ext:true} ;
const y2 : A2 = x2;
//y2は実際はextプロパティがあるが、A2型に変換したのでアクセス出来ない。が、エラーにはなっていない

Answer 1

次のようにしたらエラーは消えました。用語を知らなくてうまく説明できませんが、a が A & {ext: true} または B & {ext: true} であるのに対して、a is B だけだと、find の結果の型は C | undefined になってしまうように見えます。

const r1: B = val.find((a): a is B & {ext: true} => a.type === "B")!;