fn check_place<'tcx>( tcx: TyCtxt<'tcx>, place: Place<'tcx>, span: Span, body: &Body<'tcx>) -> Result<(), (Span, Cow<'static, str>)>