from typing import TypedDict                                             
                                                                         
class Person(TypedDict):                                                 
    name: str                                                            
    age: int                                                             
                                                                         
def get_person() -> Person | None:                                       
    return None                                                          
                                                                         
def test() -> None:                                                      
    p = get_person()                                                     
    if not p:                                                            
        raise ValueError("No person")                                    
    # After narrowing, p should be Person - but invalid-key not triggered
    print(p["nonexistent"])  # No error (should be invalid-key)          
                                                                         
def test_direct(p: Person) -> None:                                      
    # Direct parameter works correctly                                   
    print(p["nonexistent"])  # Error: invalid-key ✓