Function type_op_normalize_clause 

fn type_op_normalize_clause<'tcx>() -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Clause<'tcx>>>, NoSolution>