Right now diagnostics depend on the JSON output of cargo check --all-targets --message-format json, which won't yield any warnings for files that have already been built. Only after cargo clean has been run and/or the file has been saved again will warnings pop up.