Docs gen `roc docs` crashes with a platform required type

[lukewilliamboswell]

$ /Users/luke/Documents/GitHub/roc/target/debug/roc docs platform/main.roc
thread '<unnamed>' panicked at crates/compiler/can/src/module.rs:370:13:
The `.Model` is not a type alias or ability known in
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


There was an unrecoverable error in the Roc compiler. The `roc check` command can sometimes give a more helpful error report than other commands.

platform ""
    requires { Model } { main : _ }
    exposes []
    packages {}
    imports []
    provides [mainForHost]

mainForHost : U64
mainForHost = main

[lukewilliamboswell]

This looks to be the relevant section of Can where the panic originates. I guess I'm looking for how to "add to the scope when this module is canonicalized".

// This is a type alias or ability

// the symbol should already be added to the scope when this module is canonicalized
debug_assert!(
    scope.contains_alias(symbol) || scope.abilities_store.is_ability(symbol),
    "The {symbol:?} is not a type alias or ability known in {home:?}"
);

// but now we know this symbol by a different identifier, so we still need to add it to
// the scope
match scope.import_symbol(ident, symbol, region) {
    Ok(()) => {
        // here we do nothing special
    }
    Err((shadowed_symbol, _region)) => {
        internal_error!(
            "TODO gracefully handle shadowing in imports, {:?} is shadowed.",
            shadowed_symbol
        )
    }
}