1
Fork 0

Address review comments

This commit is contained in:
Nadrieril 2023-12-14 17:58:33 +01:00
parent e10b165775
commit 8c5e89907c
3 changed files with 4 additions and 12 deletions

View file

@ -82,14 +82,11 @@ impl<'a, 'p, 'tcx> PatternColumn<'a, 'p, 'tcx> {
/// This returns one column per field of the constructor. They usually all have the same length
/// (the number of patterns in `self` that matched `ctor`), except that we expand or-patterns
/// which may change the lengths.
fn specialize<'b>(
fn specialize(
&self,
pcx: &'b PatCtxt<'_, 'p, 'tcx>,
pcx: &PatCtxt<'a, 'p, 'tcx>,
ctor: &Constructor<'p, 'tcx>,
) -> Vec<PatternColumn<'b, 'p, 'tcx>>
where
'a: 'b,
{
) -> Vec<PatternColumn<'a, 'p, 'tcx>> {
let arity = ctor.arity(pcx);
if arity == 0 {
return Vec::new();