• Robbert Krebbers's avatar
    Do not use [ucmraT]s as argument of inG. · be24297e
    Robbert Krebbers authored
    Since [inG] ranges over [cmraT]s, using an [ucmraT]s results in
    [ucmra_cmraR] coercions that slow down type checking.
    
    This commit improves the compilation time of thread_local.v by 40%.
    be24297e
iris.v 1.11 KB