This code is accepted by check and causes a crash in lower: ```carbon fn F() -> ref i32 { return 0; } ``` Presumably check should reject instead.