Function non_exhaustive_let 

pub(crate) fn non_exhaustive_let(
    ctx: &DiagnosticsContext<'_, '_>,
    d: &NonExhaustiveLet,
) -> Diagnostic