fn place_case<'db>( infcx: &InferCtxt<'db>, env: ParamEnv<'db>, body: &MirBody<'db>, lvalue: &Place, ) -> ProjectionCase