编译器允许在函数参数中使用模式匹配，但有时候这可能会导致永远不会被匹配的情况。不过，在其他情况下，模式匹配非常有用，特别是在可以用来提高代码的可读性的地方。

下面是一个简单的示例，展示了如何在函数参数中匹配枚举类型：

enum Animal {
    Cat(String),
    Dog(String),
    Pig(String),
}

fn print_animal_sound(animal: Animal) {
    match animal {
        Animal::Cat(sound) => println!("Meow {}", sound),
        Animal::Dog(sound) => println!("Woof {}", sound),
        Animal::Pig(sound) => println!("Oink {}", sound),
    }
}

fn main() {
    let cat = Animal::Cat(String::from("Garfield"));
    print_animal_sound(cat);
}

在这个例子中，我们定义了一个名为Animal的枚举类型，并在print_animal_sound函数中使用了模式匹配来打印不同类型动物的声音。虽然这个例子很简单，但是它展示了模式匹配在函数参数中的应用情况。

总之，虽然在某些情况下模式匹配可能会导致永远不会成立的情况，但在其他情况下，它可以提高代码的可读性并使代码更加强大和灵活。