/ˌɪrɪˈfjuːtəb(ə)l/ ADJ 无可辩驳的 Patterns that will match for any possible value passed are irrefutable. An example would be x in the statement let x = 5; because x matches anything and therefore cannot fail to match. Patterns that can fail to match for some possible value are refutable. 1 + 1 = 2 就是一个无可辩驳的