base.Error

imm ![R$0](info: imm base.Info): R$0 -> …,
imm .msg[R$0](msg: imm base.Str): R$0 -> …,
imm ![R$0](info: imm base.Info): R$0 -> …,
imm .msg[R$0](msg: imm base.Str): R$0 -> …,