Fails with ICE: region_obligations not empty

[ozkriff]

Hi. I'm trying to run cargo semver on exonum crate and getting an ICE:

Repo: https://github.com/exonum/exonum/

$ pwd                                                                                                                                                                                                         
/home/ozkriff/exonum/exonum                                                                                                                                                                           
$ git rev-parse HEAD
7aa8fac54a47f31894a86119b25dfdc6a33f28ec
$ c b                                                                                                                                                                                                         
    Finished dev [unoptimized + debuginfo] target(s) in 1.54s                                                                                                                                                 
$ c c                                                                                                                                                                                                         
    Finished dev [unoptimized + debuginfo] target(s) in 0.28s                                                                                                                                                 
$ c semver                                                                                                                                                                                                    
       Fresh percent-encoding v1.0.1                                                                                                                                                                          
       Fresh quick-error v1.2.1                                                                                                                                                                               
       Fresh libc v0.2.40                                                                                                                                                                                     
       Fresh matches v0.1.6                                                                                                                                                                                   
       Fresh build_const v0.2.0                                                                                                                                                                               
.
.
.
       Fresh router v0.6.0                                                                                                                                                                                    
       Fresh iron-cors v0.7.0                                                                                                                                                                                 
       Fresh bodyparser v0.8.0                                                                                                                                                                                
       Fresh urlencoded v0.6.0                                                                                                                                                                                
       Fresh exonum_libsodium-sys v0.0.16                                                                                                                                                                     
       Fresh params v0.8.0                                                                                                                                                                                    
       Fresh exonum_sodiumoxide v0.0.16                                                                                                                                                                       
       Fresh exonum v0.7.0 (file:///home/ozkriff/bitfury/exonum/exonum)                                                                                                                                       
    Finished dev [unoptimized + debuginfo] target(s) in 0.1 secs                                                                                                                                              
    Updating registry `https://github.com/rust-lang/crates.io-index`                                                                                                                                          
       Fresh serde v1.0.55                                                                                                                                                                                    
       Fresh lazycell v0.6.0                                                                                                                                                                                  
       Fresh rustc-serialize v0.3.24                                                                                                                                                                          
       Fresh safemem v0.2.0                                                                                                                                                                                   
       Fresh lazy_static v1.0.0                                                                                                                                                                               
       Fresh itoa v0.4.1                            
.
.
.
       Fresh persistent v0.4.0                                                                                                                                                                                
       Fresh router v0.6.0                                                                                                                                                                                    
       Fresh iron-cors v0.7.0                                                                                                                                                                                 
       Fresh mount v0.4.0                                                                                                                                                                                     
       Fresh zip v0.2.8                                                                                                                                                                                       
       Fresh failure v0.1.1                                                                                                                                                                                   
       Fresh bodyparser v0.8.0                                                                                                                                                                                
       Fresh urlencoded v0.6.0                                                                                                                                                                                
       Fresh params v0.8.0                                                                                                                                                                                    
       Fresh exonum_libsodium-sys v0.0.16                                                                                                                                                                     
       Fresh exonum_sodiumoxide v0.0.16                                                                                                                                                                       
       Fresh exonum v0.7.0                                                                                                                                                                                    
    Finished dev [unoptimized + debuginfo] target(s) in 0.2 secs                                                                                                                                              
thread 'main' panicked at 'region_obligations not empty: [                                                                                                                                                    
    (                                                                                                                                                                                                         
        NodeId(                                                                                                                                                                                               
            0                                                                                                                                                                                                 
        ),                                                                                                                                                                                                    
        RegionObligation(sub_region=ReStatic, sup_type=H)                                                                                                                                                     
    )                                                                                                                                                                                                         
]', librustc/infer/mod.rs:1019:9                                                                                                                                                                              
note: Run with `RUST_BACKTRACE=1` for a backtrace.                                                                                                                                                            
                                                                                                                                                                                                              
error: internal compiler error: unexpected panic                                                                                                                                                              
                                                                                                                                                                                                              
note: the compiler unexpectedly panicked. this is a bug.                                                                                                                                                      
                                                                                                                                                                                                              
note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports                                                                                             
                                                                                                                                                                                                              
note: rustc 1.27.0-nightly (acd3871ba 2018-05-10) running on x86_64-unknown-linux-gnu                                                                                                                         
                                                                                                                                                                                                              
note: compiler flags: --crate-type lib                                                                                                                                                                        

$ rustup show
Default host: x86_64-unknown-linux-gnu

installed toolchains
--------------------

stable-x86_64-unknown-linux-gnu
nightly-2018-01-01-x86_64-unknown-linux-gnu
nightly-x86_64-unknown-linux-gnu (default)

active toolchain
----------------

nightly-x86_64-unknown-linux-gnu (default)
rustc 1.27.0-nightly (acd3871ba 2018-05-10)

[ibabushkin]

Hm, this is interesting, thanks for reporting.
I'll have a look!