Function const_param_ty 

pub(crate) fn const_param_ty<'db>(
    db: &'db dyn HirDatabase,
    def: ConstParamId,
) -> Ty<'db>