Function downcast 

fn downcast(
    genv: GlobalEnv<'_, '_>,
    adt_def: &AdtDef,
    args: &GenericArgs,
    variant: VariantIdx,
) -> QueryResult<Vec<PlaceNode>>