base.Var

imm #[X$0](x: X$0): mut base.Var[X$0] -> …,
imm #[X$0](x: X$0): mut base.Var[X$0] -> …,