Function get_thir 

pub fn get_thir<'tcx, S: BaseState<'tcx>>(
    did: RLocalDefId,
    s: &S,
) -> (Rc<Thir<'tcx>>, ExprId)