error[E0308]: `match` arms have incompatible types
  --> $DIR/issue-101465.rs:20:18
   |
LL | /     match true {
LL | |         true => B,
   | |                 - this is found to be of type `B`
LL | |         false => C,
   | |                  ^ expected `B`, found `C`
LL | |
LL | |     }
   | |_____- `match` arms have incompatible types
   |
help: you could change the return type to be a boxed trait object
   |
LL | fn foo() -> Box<dyn Tr> {
   |             ~~~~~~~   +
help: if you change the return type to expect trait objects, box the returned expressions
   |
LL ~         true => Box::new(B),
LL ~         false => Box::new(C),
   |

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0308`.