class Foo {
  func bar() {
  }
}

sil_stage canonical

import Builtin
import Swift
import SwiftShims

sil_scope 1 {  parent @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 }

// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
  %2 = integer_literal $Builtin.Int32, 0, scope 1 // user: %3
  %3 = struct $Int32 (%2 : $Builtin.Int32), scope 1 // user: %4
  return %3 : $Int32, scope 1                     // id: %4
} // end sil function 'main'

sil_scope 2 { loc "/Users/Alex/Desktop/test.swift":2:8 parent @_TFC1a3Foo3barfT_T_ : $@convention(method) (@guaranteed Foo) -> () }
sil_scope 3 { loc "/Users/Alex/Desktop/test.swift":4:3 parent 2 }

// Foo.bar() -> ()
sil hidden @_TFC1a3Foo3barfT_T_ : $@convention(method) (@guaranteed Foo) -> () {
// %0                                             // user: %1
bb0(%0 : $Foo):
  debug_value %0 : $Foo, let, name "self", argno 1, loc "/Users/Alex/Desktop/test.swift":2:8, scope 2 // id: %1
  %2 = tuple (), loc "/Users/Alex/Desktop/test.swift":4:3, scope 3 // user: %3
  return %2 : $(), loc "/Users/Alex/Desktop/test.swift":4:3, scope 3 // id: %3
} // end sil function '_TFC1a3Foo3barfT_T_'

sil_scope 4 { loc "/Users/Alex/Desktop/test.swift":1:7 parent @_TFC1a3FooD : $@convention(method) (@owned Foo) -> () }

// Foo.__deallocating_deinit
sil hidden @_TFC1a3FooD : $@convention(method) (@owned Foo) -> () {
// %0                                             // users: %3, %1
bb0(%0 : $Foo):
  debug_value %0 : $Foo, let, name "self", argno 1, loc "/Users/Alex/Desktop/test.swift":1:7, scope 4 // id: %1
  // function_ref Foo.deinit
  %2 = function_ref @_TFC1a3Food : $@convention(method) (@guaranteed Foo) -> @owned Builtin.NativeObject, scope 4 // user: %3
  %3 = apply %2(%0) : $@convention(method) (@guaranteed Foo) -> @owned Builtin.NativeObject, scope 4 // user: %4
  %4 = unchecked_ref_cast %3 : $Builtin.NativeObject to $Foo, scope 4 // user: %5
  dealloc_ref %4 : $Foo, scope 4                  // id: %5
  %6 = tuple (), scope 4                          // user: %7
  return %6 : $(), scope 4                        // id: %7
} // end sil function '_TFC1a3FooD'

sil_scope 5 { loc "/Users/Alex/Desktop/test.swift":1:7 parent @_TFC1a3Food : $@convention(method) (@guaranteed Foo) -> @owned Builtin.NativeObject }
sil_scope 6 { loc "/Users/Alex/Desktop/test.swift":1:7 parent 5 }

// Foo.deinit
sil hidden @_TFC1a3Food : $@convention(method) (@guaranteed Foo) -> @owned Builtin.NativeObject {
// %0                                             // users: %2, %1
bb0(%0 : $Foo):
  debug_value %0 : $Foo, let, name "self", argno 1, loc "/Users/Alex/Desktop/test.swift":1:7, scope 5 // id: %1
  %2 = unchecked_ref_cast %0 : $Foo to $Builtin.NativeObject, scope 6 // user: %3
  return %2 : $Builtin.NativeObject, scope 6      // id: %3
} // end sil function '_TFC1a3Food'

sil_scope 7 { loc "/Users/Alex/Desktop/test.swift":1:7 parent @_TFC1a3FoocfT_S0_ : $@convention(method) (@owned Foo) -> @owned Foo }
sil_scope 8 {  parent 7 }

// Foo.init() -> Foo
sil hidden @_TFC1a3FoocfT_S0_ : $@convention(method) (@owned Foo) -> @owned Foo {
// %0                                             // users: %2, %1
bb0(%0 : $Foo):
  debug_value %0 : $Foo, let, name "self", loc "/Users/Alex/Desktop/test.swift":1:7, scope 7 // id: %1
  return %0 : $Foo, loc "/Users/Alex/Desktop/test.swift":1:7, scope 8 // id: %2
} // end sil function '_TFC1a3FoocfT_S0_'

sil_scope 9 { loc "/Users/Alex/Desktop/test.swift":1:7 parent @_TFC1a3FooCfT_S0_ : $@convention(method) (@thick Foo.Type) -> @owned Foo }

// Foo.__allocating_init() -> Foo
sil hidden @_TFC1a3FooCfT_S0_ : $@convention(method) (@thick Foo.Type) -> @owned Foo {
bb0(%0 : $@thick Foo.Type):
  %1 = alloc_ref $Foo, scope 9                    // user: %3
  // function_ref Foo.init() -> Foo
  %2 = function_ref @_TFC1a3FoocfT_S0_ : $@convention(method) (@owned Foo) -> @owned Foo, scope 9 // user: %3
  %3 = apply %2(%1) : $@convention(method) (@owned Foo) -> @owned Foo, scope 9 // user: %4
  return %3 : $Foo, scope 9                       // id: %4
} // end sil function '_TFC1a3FooCfT_S0_'

sil_vtable Foo {
  #Foo.bar!1: _TFC1a3Foo3barfT_T_   // Foo.bar() -> ()
  #Foo.deinit!deallocator: _TFC1a3FooD  // Foo.__deallocating_deinit
  #Foo.init!initializer.1: _TFC1a3FoocfT_S0_    // Foo.init() -> Foo
}

/Users/Alex/Desktop/a.sil:8:44: error: use of undeclared type 'Foo'
sil_global hidden [let] @_Tv1a1xVS_3Foo : $Foo