This is an implementation hook - bind must check that typeinfo matches and bind value to the lifted slot
See Implementation
This is an implementation hook - bind must check that typeinfo matches and bind value to the lifted slot