Function instantiate_decl 

pub fn instantiate_decl(t: &Ty, args: &[Ty]) -> Ty

Replace the positional parameters of a declaration with args.

A field type of Some(value: ?1000000) under Option[Int] is value: Int, and every pass that reads a declaration’s fields against a concrete type goes through here.