Incorrectly inferred never type of match expression with diverging arm

[artemmukhin]

Environment

• IntelliJ Rust plugin version: 0.3.140.3624-203-nightly
• Rust toolchain version: 1.48.0 (7eac88abb 2020-11-16) x86_64-apple-darwin
• IDE name and version: IntelliJ IDEA 2020.3.2 Preview Ultimate Edition (IU-203.7148.15)
• Operating system: macOS 10.16
• Macro expansion engine: new
• Name resolution engine: new

Problem description

The inferred type of num2 in the following example should be i32, not !

Might be related to #1743

Steps to reproduce

fn foo(x: i32) {}

fn main() {
    let num2 = match "42".parse() {
        Ok(v) => v,
        Err(e) => panic!(),
    }; // type of `num2` should be `i32`, not `!`
    foo(num2);
}

[artemmukhin]

From #6829 (comment):

CoerceMany should be implemented in order to fix this issue. Currently, IJ Rust uses a simplified and rough approach to handle this (see RsTypeInferenceWalker#getMoreCompleteType).