base.AssertCont[R:imm,mut,read]

mut #: R,
mut #: R,