These matches could be `substs { ref tps, .. }` (the `ref tps` is a shorthand for `tps: ref tps`; things like `substs { tps }` and `substs { ref mut tps }` also work as shorthands), and the `..` means "ignore all other fields".