diff options
| author | binarycat <binarycat@envs.net> | 2025-08-21 23:04:26 -0500 |
|---|---|---|
| committer | binarycat <binarycat@envs.net> | 2025-08-22 10:07:33 -0500 |
| commit | 4a2d6dfe26706b058b045dd2d4cc73832ede7728 (patch) | |
| tree | 463baf24f9aa0956bcca9fc3611b30361b328a8b | |
| parent | cb572cb876cb901f279fbe64d6e7a6462ac8097c (diff) | |
| download | rust-4a2d6dfe26706b058b045dd2d4cc73832ede7728.tar.gz rust-4a2d6dfe26706b058b045dd2d4cc73832ede7728.zip | |
typecheck: add nonnull around element known to exist
| -rw-r--r-- | src/librustdoc/html/static/js/main.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/js/main.js b/src/librustdoc/html/static/js/main.js index bfa9e789944..c09cc5da35e 100644 --- a/src/librustdoc/html/static/js/main.js +++ b/src/librustdoc/html/static/js/main.js @@ -1679,8 +1679,7 @@ function preLoadCss(cssUrl) { if (isHelpPage) { const help_section = document.createElement("section"); help_section.appendChild(container); - // @ts-expect-error - document.getElementById("main-content").appendChild(help_section); + nonnull(document.getElementById("main-content")).appendChild(help_section); } else { onEachLazy(document.getElementsByClassName("help-menu"), menu => { if (menu.offsetWidth !== 0) { |