Function downcast_struct

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