Infer can fail, return uninferred in this case