Useless comment

This commit is contained in:
Ayaz Hafiz 2022-05-07 22:08:25 -04:00 committed by ayazhafiz
parent 798c28fccd
commit 4bfbe479c9

View file

@ -47,7 +47,6 @@ pub enum Pattern {
// for the expression from the opaque definition. `type_arguments` is something like
// [(n, fresh1)], and `specialized_def_type` becomes "[ Id U64 fresh1 ]".
specialized_def_type: Box<Type>,
// Fresh type variable and any ability it is bound to
type_arguments: Vec<OptAbleVar>,
lambda_set_variables: Vec<LambdaSet>,
},