Function thir_abstract_const 

fn thir_abstract_const<'tcx>() -> Result<Option<EarlyBinder<'tcx, Const<'tcx>>>, ErrorGuaranteed>