Searched defs:discr_cmt (Results 1 – 1 of 1) sorted by relevance
615 let discr_cmt = ignore_err!(self.with_mc(|mc| mc.cat_expr(init_expr))); in link_local() localVariable624 let discr_cmt = ignore_err!(self.with_mc(|mc| mc.cat_expr(discr))); in link_match() localVariable