inner attribute `derive` doesn't show any errors

[lucasly-ba]

Summary

//@compile-flags: -frust-incomplete-and-experimental-compiler-do-not-use
#![derive(PartialOrd, PartialEq)]

pub fn check_ge(a: i32, b: i32) -> bool
{
    a >= b
}

Program output

Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> {heap 1240k} <visibility> {heap 1240k} <build_ssa_passes> {heap 1240k} <opt_local_passes> {heap 1704k} <remove_symbols> {heap 1704k} <targetclone> {heap 1704k} <free-fnsummary> {heap 1704k}Streaming LTO
 <whole-program> {heap 1704k} <fnsummary> {heap 1704k} <inline> {heap 1704k} <modref> {heap 1704k} <free-fnsummary> {heap 1704k} <single-use> {heap 1704k} <comdats> {heap 1704k}Assembling functions:
 <simdclone> {heap 1704k} c::check_ge
Time variable                                  wall           GGC
 phase opt and generate             :   0.02 ( 81%)    65k ( 28%)
 initialize rtl                     :   0.01 ( 66%)    12k (  5%)
 TOTAL                              :   0.02          235k
Extra diagnostic checks enabled; compiler may run slowly.
Configure with --enable-checking=release to disable checks.