compiler/ kernel/ lib/ scripts/ seed/ sublime/ test/ acceptance/ boot/ bootstrap/ cycles/ dispatch/ loader/ mmio/ modules/ native/ packages/ pages/ runtime/ scheduling/ shared/ slots/ abandon.rad 355 B duplicate.rad 445 B run 837 B smp/ sync/ termination/ tests/ trap/ run 2.7 KiB runner.rad 10.3 KiB vim/ .gitignore 336 B .gitsigners 112 B CONTRIBUTING 2.1 KiB LICENSE 1.1 KiB Makefile 10.2 KiB README 2.5 KiB STYLE 2.5 KiB std.lib 1.5 KiB std.lib.test 551 B
test/slots/abandon.rad 355 B raw
1 
//! Compile-failure fixture for an unconsumed reservation.
2 

      

      
      

        3
        
use std::testing;

      

      
      

        4
        
use kernel::slots;

      

      
      

        5
        

      

      
      

        6
        
/// A reservation must be consumed before its scope ends.

      

      
      

        7
        
@test unsafe fn abandon() throws (testing::TestError) {

      

      
      

        8
        
    let mut table: [slots::Slot; 1] = undefined;

      

      
      

        9
        
    slots::initialize(&mut table[..]);

      

      
      

        10
        
    let token = try! slots::reserve(&mut table[..]);

      

      
      

        11
        
}