Function representability_ty 

fn representability_ty<'db>(
    db: &'db dyn HirDatabase,
    ty: Ty<'db>,
) -> Representability