Function get_associated_const_value 

fn get_associated_const_value<'tcx>(
    selcx: &mut SelectionContext<'_, 'tcx>,
    alias_ct: Const<'tcx>,
    param_env: ParamEnv<'tcx>,
) -> Const<'tcx>